fix: stupid bug in header.mark

imandra-ai · Apr 2, 2019 · 09e1f35 · 09e1f35
1 parent b27a25c
commit 09e1f35
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib/Minisat_types.ml b/src/lib/Minisat_types.ml
@@ -246,8 +246,8 @@ end = struct
  let m_has_extra = 1 lsl 28
 
  let[@inline] make size = assert (size<m_size); size
- let[@inline] mark (h:t) = (h lsl 30) land 3
- let[@inline] set_mark (h:t) b = assert (b = b land 3); (h land (lnot m_mark)) lor (b lsr 30)
+ let[@inline] mark (h:t) = (h lsr 30) land 3
+ let[@inline] set_mark (h:t) b = assert (b = b land 3); (h land (lnot m_mark)) lor (b lsl 30)
  let[@inline] learnt (h:t) : bool = ((h lsr 29) land 1) <> 0
  let[@inline] has_extra h = ((h lsr 28) land 1) <> 0
  let[@inline] set_has_extra h = h lor (1 lsl 28)