From bb2a0e0e12f39a1b4dea8fb0c990decba4708a1c Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Tue, 16 Nov 2010 21:11:11 +0000
Subject: Added Theory::presolve().

---
 src/theory/bv/theory_bv.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/theory/bv')

diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h
index c673a56b4..f6073eff9 100644
--- a/src/theory/bv/theory_bv.h
+++ b/src/theory/bv/theory_bv.h
@@ -71,6 +71,10 @@ public:
 
   void check(Effort e);
 
+  void presolve(){
+    Unimplemented();
+  }
+
   void propagate(Effort e) {}
 
   void explain(TNode n, Effort e) { }
-- 
cgit v1.2.3