Fixing the CVC grammar for parsing Boolean expressions. All the associativity stufff is now in the grammar. All the parser tests pass now.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/context/context.h b/src/context/context.h
index 114c8ed69..3bac70cb6 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -51,7 +51,7 @@ class ContextNotifyObj;
 class Context {
 
   /**
-   * Pointer to the ContextMemoryManager fot this Context.
+   * Pointer to the ContextMemoryManager for this Context.
    */
   ContextMemoryManager* d_pCMM;
 
@@ -67,13 +67,13 @@ class Context {
 
   /**
    * Doubly-linked list of objects to notify before every pop.  See
-   * ContextNotifyObj for sturcture of linked list.
+   * ContextNotifyObj for structure of linked list.
    */
   ContextNotifyObj* d_pCNOpre;
 
   /**
    * Doubly-linked list of objects to notify after every pop.  See
-   * ContextNotifyObj for sturcture of linked list.
+   * ContextNotifyObj for structure of linked list.
    */
   ContextNotifyObj* d_pCNOpost;
 
@@ -189,7 +189,7 @@ public:
     { if (pScopePrev != NULL) d_level = pScopePrev->getLevel() + 1; }
 
   /**
-   * Destructor: Restore all of the objects in CotextObjList.  Defined inline
+   * Destructor: Restore all of the objects in ContextObjList.  Defined inline
    * below.
    */
   ~Scope();