simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-23 09:56:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix other issue in th-bool preprocessing

Browse source
This commit is contained in:
Simon Cruanes 2021-08-22 01:31:59 -04:00
parent 27796da5a8
commit 9aee35c6ce
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/th-bool-static/Sidekick_th_bool_static.ml
View file

@ -277,7 +277,7 @@ module Make(A : ARG) : S with module A = A = struct
and get_lit_uncached si t : Lit.t option =
match A.view_as_bool t with
| B_opaque_bool _ -> None
| B_bool b -> Some (PA.mk_lit (T.bool self.tst b))
| B_bool _ -> None
| B_not u ->
let lit = get_lit_opt u in
CCOpt.map Lit.neg lit