From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 29 Nov 2012 19:37:32 +0000 (+0000)
Subject: minor documentation fix
X-Git-Tag: cvc5-1.0.0~7530
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eab3aa931049d9ade69ad0ee5ebf8116c4f54ce6;p=cvc5.git

minor documentation fix
---

diff --git a/src/expr/symbol_table.h b/src/expr/symbol_table.h
index a36b7b2b4..bb6e99091 100644
--- a/src/expr/symbol_table.h
+++ b/src/expr/symbol_table.h
@@ -59,10 +59,10 @@ class CVC4_PUBLIC SymbolTable {
   context::CDHashSet<Expr, ExprHashFunction> *d_functions;
 
 public:
-  /** Create a declaration scope. */
+  /** Create a symbol table. */
   SymbolTable();
 
-  /** Destroy a declaration scope. */
+  /** Destroy a symbol table. */
   ~SymbolTable();
 
   /**
@@ -195,7 +195,7 @@ public:
   /** Push a scope level. */
   void pushScope() throw();
 
-  /** Get the current level of this declaration scope. */
+  /** Get the current level of this symbol table. */
   size_t getLevel() const throw();
 
 };/* class SymbolTable */