diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/node_manager.cpp | 2 | ||||
-rw-r--r-- | src/expr/node_manager.h | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index d953907ae..708bd16b2 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -11,6 +11,8 @@ ** information. ** ** Expression manager implementation. + ** + ** Reviewed by Chris Conway, Apr 5 2010 (bug #65). **/ #include "node_manager.h" diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 2b403ad36..3f7196178 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -11,6 +11,8 @@ ** information. ** ** A manager for Nodes. + ** + ** Reviewed by Chris Conway, Apr 5 2010 (bug #65). **/ #include "cvc4_private.h" |