From 2e7ec13174e165cccc74159b5c6590d12894a674 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 25 Aug 2016 15:41:27 -0500
Subject: Minor cleanup preprocessing, add ppNotifyAssertions.

---
 src/theory/quantifiers/theory_quantifiers.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/theory/quantifiers/theory_quantifiers.h')

diff --git a/src/theory/quantifiers/theory_quantifiers.h b/src/theory/quantifiers/theory_quantifiers.h
index 6775e0536..ba5a75d86 100644
--- a/src/theory/quantifiers/theory_quantifiers.h
+++ b/src/theory/quantifiers/theory_quantifiers.h
@@ -61,6 +61,7 @@ public:
   void notifyEq(TNode lhs, TNode rhs);
   void preRegisterTerm(TNode n);
   void presolve();
+  void ppNotifyAssertions( std::vector< Node >& assertions );
   void check(Effort e);
   Node getNextDecisionRequest();
   Node getValue(TNode n);
-- 
cgit v1.2.3