From 91a307d6fa6e9c6fd32c166a86189bc5a02c996c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 13 Sep 2021 06:46:54 -0400 Subject: [PATCH] detail --- src/th-dyn-trans/Sidekick_th_dyn_trans.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/th-dyn-trans/Sidekick_th_dyn_trans.ml b/src/th-dyn-trans/Sidekick_th_dyn_trans.ml index 84dc9c1d..76676264 100644 --- a/src/th-dyn-trans/Sidekick_th_dyn_trans.ml +++ b/src/th-dyn-trans/Sidekick_th_dyn_trans.ml @@ -133,9 +133,6 @@ module Make(A: ARG) let emit_proof = A.proof_trans c in CC.add_clause ~pool:self.cpool cc c emit_proof) end; - - (* TODO: find some potential dyn-trans axioms; add them to self.sat - if they're not in done_inst *) () let on_conflict (self:t) (cc:CC.t) ~th lits : unit =