diff options
Diffstat (limited to 'test/unit/test_smt.h')
| -rw-r--r-- | test/unit/test_smt.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h index f1644dfcd..1cc6b0507 100644 --- a/test/unit/test_smt.h +++ b/test/unit/test_smt.h @@ -136,7 +136,6 @@ class DummyOutputChannel : public cvc5::theory::OutputChannel void requirePhase(TNode, bool) override {} void setIncomplete(theory::IncompleteId id) override {} - void handleUserAttribute(const char* attr, theory::Theory* t) override {} void clear() { d_callHistory.clear(); } |