From fd33dbfa378f0a1be4d5fbde9aecb800715e4aa1 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 19 Mar 2014 17:30:59 -0400 Subject: [PATCH] Fix documentation for Theory::preRegisterTerm(). --- src/theory/theory.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) { } -- 2.30.2