From eab3aa931049d9ade69ad0ee5ebf8116c4f54ce6 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 29 Nov 2012 19:37:32 +0000
Subject: [PATCH] minor documentation fix

---
 src/expr/symbol_table.h | 6 +++---
 1 file 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 */
-- 
2.30.2