2 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/cvc/cvc_lexer.g b/src/parser/cvc/cvc_lexer.g
index 8d706963f..dd0d7c69c 100644
--- a/src/parser/cvc/cvc_lexer.g
+++ b/src/parser/cvc/cvc_lexer.g
@@ -66,7 +66,7 @@ DIGIT options{ paraphrase = "a digit"; }
 /**
  * Matches the ':'
  */
-COLON options{ paraphrase = "a comma"; } 
+COLON options{ paraphrase = "a colon"; } 
   : ':'
   ;
 
@@ -115,7 +115,7 @@ NEWLINE options { paraphrase = "a newline"; }
  * Mathces the comments and ignores them
  */
 COMMENT options { paraphrase = "comment"; }
-  : ';' (~('\n' | '\r'))*                    { $setType(antlr::Token::SKIP); }
+  : '%' (~('\n' | '\r'))*                    { $setType(antlr::Token::SKIP); }
   ;
       
 /**
diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g
index 625f2c381..864719cfa 100644
--- a/src/parser/cvc/cvc_parser.g
+++ b/src/parser/cvc/cvc_parser.g
@@ -42,6 +42,7 @@ command returns [CVC4::Command* cmd = 0]
   | CHECKSAT f = formula  { cmd = new CheckSatCommand(f); }
   | CHECKSAT              { cmd = new CheckSatCommand();  }
   | identifierList[ids] COLON type { 
+      // [chris 12/15/2009] FIXME: decls may not be BOOLEAN
       newPredicates(ids); 
       cmd = new EmptyCommand("Declaration"); 
     }