Merge branch 'fix_another_sessions' into 'master'

[why3.git] / tests / test_smoke.mlw

module M

  lemma a : false

  let f (x:int)
    ensures {result = 0}
  = x

end