Fix documentation for Theory::preRegisterTerm().

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 42cdea280b3222c3f597aa074812cc16d41f5f1c..ff648e1f27b1b045adfc94a04453be5a39e7b0ad 100644 (file)
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -498,7 +498,7 @@ public:
   }
 
   /**
-   * Pre-register a term.  Done one time for a Node, ever.
+   * Pre-register a term.  Done one time for a Node per SAT context level.
    */
   virtual void preRegisterTerm(TNode) { }