diff options
Diffstat (limited to 'src/prop/theory_proxy.cpp')
-rw-r--r-- | src/prop/theory_proxy.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp index 605c75a14..b0eab66e9 100644 --- a/src/prop/theory_proxy.cpp +++ b/src/prop/theory_proxy.cpp @@ -77,6 +77,7 @@ void TheoryProxy::theoryCheck(theory::Theory::Effort effort) { TNode assertion = d_queue.front(); d_queue.pop(); d_theoryEngine->assertFact(assertion); + d_decisionEngine->notifyAsserted(assertion); } d_theoryEngine->check(effort); } |