Merge branch 'fix_another_sessions' into 'master'

[why3.git] / tests / test_ne.mlw

module M

  use int.Int

  goal g1 : (=) 1 2

  goal g2 : (>) 1 2

  goal g3 : (<>) 1 2

end