1 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h
index f8c763e3f..98b809d85 100644
--- a/src/theory/bv/bv_subtheory.h
+++ b/src/theory/bv/bv_subtheory.h
@@ -28,6 +28,9 @@
 
 namespace CVC4 {
 namespace theory {
+
+class TheoryModel;
+
 namespace bv {
 
 enum SubTheory {
@@ -82,7 +85,7 @@ public:
   virtual bool  addAssertions(const std::vector<TNode>& assertions, Theory::Effort e) = 0;
   virtual void  explain(TNode literal, std::vector<TNode>& assumptions) = 0;
   virtual void  preRegister(TNode node) {}
-
+  virtual void  collectModelInfo(TheoryModel* m) = 0; 
 }; 
 
 }