Merge branch 'fix_another_sessions' into 'master'

[why3.git] / bench / infer / assign_bool.mlw

use int.Int
use bool.Bool

val ref x : bool

let main [@bddinfer] ()
  =
  x <- True;
  x <- False