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/parser.h | |
| 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/parser.h')
| -rw-r--r-- | src/parser/parser.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index b099a8142..618b1c8ab 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -117,7 +117,8 @@ private: std::istream* d_input; /** Wherther to de-allocate the input */ - bool d_deleteInput;}; // end of class Parser + bool d_deleteInput; +}; // end of class Parser }/* CVC4::parser namespace */ }/* CVC4 namespace */ |