diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/expr/symbol_table.h | 6 |
1 files changed, 3 insertions, 3 deletions
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 */ |