Merge branch 'upgrade_proofs_coq_8_11_to_8_16' into 'master'

[why3.git] / bench / check-ce / ref2_mono.mlw

type t = { mutable c : int }

let f () =
  let x = { c = 1 } in
  x.c <- 2;
  assert { false }