diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-01 21:58:47 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-01 21:58:47 +0000 |
| commit | 595eb7e203d27a9b24a2b71808bc79dab76fa7ba (patch) | |
| tree | 18460cf3d1596edf80c61610014b2fe196f0d78b /src/parser/smt | |
| parent | 1b1e9acfad453c50151f6c6465e5eabbac075f19 (diff) | |
Fixing the CVC grammar for parsing Boolean expressions. All the associativity stufff is now in the grammar. All the parser tests pass now.
Diffstat (limited to 'src/parser/smt')
| -rw-r--r-- | src/parser/smt/smt_parser.g | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g index 56e1f9f17..88216336d 100644 --- a/src/parser/smt/smt_parser.g +++ b/src/parser/smt/smt_parser.g @@ -34,6 +34,7 @@ options { */ parseExpr returns [CVC4::Expr expr] : expr = annotatedFormula + | EOF ; /** |