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

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

module T

  goal g : forall x:int. x = (x at L)

end