Merge branch 'minimum-excludant-other-versions' into 'master'

[why3.git] / bench / programs / bad-typing / alias1.mlw

module M

  use ref.Ref

  let foo (x : ref int) (y : ref int) =
    x := 1;
    y := 2

  val r : ref int

  let test () =
    foo r r

end