Simplify Theory::collectModelInfo interface to not take deprecated fullModel argument.

1 files changed, 1 insertions, 4 deletions

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 611e487f1..37d818eac 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -515,11 +515,8 @@ public:
    * Get all relevant information in this theory regarding the current
    * model.  This should be called after a call to check( FULL_EFFORT )
    * for all theories with no conflicts and no lemmas added.
-   * If fullModel is true, then we must specify sufficient information for
-   * the model class to construct constant representatives for each equivalence
-   * class.
    */
-  virtual void collectModelInfo( TheoryModel* m, bool fullModel ){ }
+  virtual void collectModelInfo( TheoryModel* m ){ }
 
   /** if theories want to do something with model after building, do it here */
   virtual void postProcessModel( TheoryModel* m ){ }