diff options
Diffstat (limited to 'test/unit/theory/theory_white.h')
-rw-r--r-- | test/unit/theory/theory_white.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/unit/theory/theory_white.h b/test/unit/theory/theory_white.h index 126f57060..d9df2912b 100644 --- a/test/unit/theory/theory_white.h +++ b/test/unit/theory/theory_white.h @@ -76,6 +76,11 @@ public: return LemmaStatus(Node::null(), 0); } + LemmaStatus splitLemma(TNode n, bool removable) throw (TypeCheckingExceptionPrivate, AssertionException){ + push(LEMMA, n); + return LemmaStatus(Node::null(), 0); + } + void requirePhase(TNode, bool) throw(Interrupted, AssertionException) { Unreachable(); |