From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 19 Mar 2014 21:30:59 +0000 (-0400)
Subject: Fix documentation for Theory::preRegisterTerm().
X-Git-Tag: cvc5-1.0.0~7004
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fd33dbfa378f0a1be4d5fbde9aecb800715e4aa1;p=cvc5.git

Fix documentation for Theory::preRegisterTerm().
---

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 42cdea280..ff648e1f2 100644
--- 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) { }