Remove `Theory::postsolve()` (#8924)

[cvc5.git] / src / theory / theory_engine.h

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 3f25eefcd0778be7a7f2df57d6df5a01bbe38e67..13e3785850c62978a91d8cc38fe89b1fd73c8af0 100644 (file)
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -249,7 +249,7 @@ class TheoryEngine : protected EnvObj
   bool presolve();
 
   /**
-   * Calls postsolve() on all theories.
+   * Resets the internal state.
    */
   void postsolve();