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

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

module M

  use ref.Ref

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

  let test (x : ref int) =
    foo x x

end