simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 21:24:06 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: no need to add trivial clauses at all

Browse source
This commit is contained in:
Simon Cruanes 2019-01-26 12:51:58 -06:00 • committed by Guillaume Bury
parent 83c0d0e7f1
commit fdc042aee3
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/Internal.ml
View file

@ -1500,7 +1500,6 @@ module Make(Plugin : PLUGIN)
) )
) )
with Trivial -> with Trivial ->
Vec.push vec init;
Log.debugf info (fun k->k "Trivial clause ignored : @[%a@]" Clause.debug init) Log.debugf info (fun k->k "Trivial clause ignored : @[%a@]" Clause.debug init)
let[@inline never] flush_clauses_ st = let[@inline never] flush_clauses_ st =