Making ppNotifyAssertions take a const vector.

1 files changed, 4 insertions, 11 deletions

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index f623748cf..dd2b4f14d 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -604,18 +604,11 @@ public:
    */
   Node preprocess(TNode node);
 
+  /** Notify (preprocessed) assertions. */
+  void notifyPreprocessedAssertions(const std::vector<Node>& assertions);
 
-  /**
-   * Notify (preprocessed) assertions 
-   */
-  void notifyPreprocessedAssertions( std::vector< Node >& assertions );
-
-  /**
-   * Return whether or not we are incomplete (in the current context).
-   */
-  inline bool isIncomplete() const {
-    return d_incomplete;
-  }
+  /** Return whether or not we are incomplete (in the current context). */
+  inline bool isIncomplete() const { return d_incomplete; }
 
   /**
    * Returns true if we need another round of checking.  If this