From f827fb06c949d421fb32f6629c2c353ca7bd026e Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 20 Jul 2016 13:28:01 -0500
Subject: Infrastructure for storing and printing heap models for separation
 logic. Ensure value of sep.nil is correct in models. Print instantiations as
 sexprs.

---
 src/theory/theory_engine.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/theory/theory_engine.h')

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index aae6fce17..eed58864a 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -711,7 +711,8 @@ public:
    * collect model info
    */
   void collectModelInfo( theory::TheoryModel* m, bool fullModel );
-  void collectModelComments( theory::TheoryModel* m );
+  /** post process model */
+  void postProcessModel( theory::TheoryModel* m );
 
   /**
    * Get the current model
-- 
cgit v1.2.3