From da77d3ab3bbb1cb3195e2aa717d469883234f99b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 11 Apr 2018 09:02:36 -0500 Subject: [PATCH] add todo --- src/sat/Internal.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sat/Internal.ml b/src/sat/Internal.ml index b5ba9baf..f7975411 100644 --- a/src/sat/Internal.ml +++ b/src/sat/Internal.ml @@ -63,6 +63,7 @@ module Make clauses_temp : clause Vec.t; (* Temp clauses, corresponding to the local assumptions. This vec is used only to have an efficient way to access the list of local assumptions. *) + (* TODO: remove. We only need clauses_hyps for that. *) mutable unsat_conflict : clause option; (* conflict clause at [base_level], if any *)