1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h
index 49ed16788..96bd02b5a 100644
--- a/src/theory/theory_test_utils.h
+++ b/src/theory/theory_test_utils.h
@@ -81,9 +81,9 @@ public:
     push(PROPAGATE, n);
   }
 
-  unsigned lemma(TNode n, bool removable) throw(AssertionException) {
+  LemmaStatus lemma(TNode n, bool removable) throw(AssertionException) {
     push(LEMMA, n);
-    return 0;
+    return LemmaStatus(Node::null(), 0);
   }
 
   void setIncomplete() throw(AssertionException) {}