diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-29 19:37:32 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-29 19:37:32 +0000 |
| commit | eab3aa931049d9ade69ad0ee5ebf8116c4f54ce6 (patch) | |
| tree | 04ec9d238fd97fa8ad68bea7c637acea216de0b6 /src/expr/symbol_table.h | |
| parent | 3db7a429071630e4a40613055aefc36562df4f65 (diff) | |
minor documentation fix
Diffstat (limited to 'src/expr/symbol_table.h')
| -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 */ |