Infrastructure for storing and printing heap models for separation logic. Ensure value of sep.nil is correct in models. Print instantiations as sexprs.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 3f9514364..b5a5d4e6d 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -593,8 +593,8 @@ public:
    * class.
    */
   virtual void collectModelInfo( TheoryModel* m, bool fullModel ){ }
-  /** if theories want to print something as a comment before model printing, do it here */
-  virtual void collectModelComments( TheoryModel* m ){ }
+  /** if theories want to do something with model after building, do it here */
+  virtual void postProcessModel( TheoryModel* m ){ }
   
   /**
    * Return a decision request, if the theory has one, or the NULL node