diff options
Diffstat (limited to 'src/theory/sets/inference_manager.cpp')
| -rw-r--r-- | src/theory/sets/inference_manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/sets/inference_manager.cpp b/src/theory/sets/inference_manager.cpp index 15b7f64dc..2629e2cbd 100644 --- a/src/theory/sets/inference_manager.cpp +++ b/src/theory/sets/inference_manager.cpp @@ -46,7 +46,7 @@ bool InferenceManager::assertFactRec(Node fact, Node exp, int inferType) { lem = NodeManager::currentNM()->mkNode(IMPLIES, exp, fact); } - addPendingLemma(lem); + addPendingLemma(lem, InferenceId::UNKNOWN); return true; } Trace("sets-fact") << "Assert fact rec : " << fact << ", exp = " << exp @@ -104,7 +104,7 @@ bool InferenceManager::assertFactRec(Node fact, Node exp, int inferType) { lem = NodeManager::currentNM()->mkNode(IMPLIES, exp, fact); } - addPendingLemma(lem); + addPendingLemma(lem, InferenceId::UNKNOWN); return true; } return false; |