diff options
Diffstat (limited to 'src/parser/cvc/cvc_parser.g')
-rw-r--r-- | src/parser/cvc/cvc_parser.g | 1 |
1 files changed, 1 insertions, 0 deletions
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"); } |