From 0b2f9943d55152e0958369083649dd71340864c9 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sun, 11 May 2014 14:36:50 -0500
Subject: More preparation for CASC proofs.  Minor fix for sort inference
 (rewrite new assertions).  Bug fix for ambqi : simplify correctly for
 multi-sorted case.  Bug fix for fmc : only do exh-simplification for
 uninterpreted sorts, ensure reps are enumerated for quantification over Real.

---
 src/smt/smt_engine.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/smt/smt_engine.h')

diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 88ba55b45..4b981f614 100644
--- a/src/smt/smt_engine.h
+++ b/src/smt/smt_engine.h
@@ -500,7 +500,7 @@ public:
   /**
    * Print all instantiations made by the quantifiers module.
    */
-  void printInstantiations();
+  void printInstantiations( std::ostream& out );
 
   /**
    * Get the current set of assertions.  Only permitted if the
-- 
cgit v1.2.3