diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-08 19:35:39 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-08 19:35:39 -0400 |
| commit | 9978c259f30b1f4b2c70c04589a309033a6eb1f6 (patch) | |
| tree | 3ec3fa65f9004e284c1108a28b14e635245516f1 /src/parser/smt2 | |
| parent | b14e52e64520e5f344811db5969bb02b5fa8eb17 (diff) | |
smt2 parser: tokenize emptyset only if theory enabled
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index b3761dfbd..bc417d54c 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1778,10 +1778,10 @@ REALLCHAR_TOK : 're.allchar'; FMFCARD_TOK : 'fmf.card'; -EMPTYSET_TOK: 'emptyset'; // Other set theory operators are not - // tokenized and handled directly when - // processing a term - +EMPTYSET_TOK: { PARSER_STATE->isTheoryEnabled(Smt2::THEORY_SETS) }? 'emptyset'; +// Other set theory operators are not +// tokenized and handled directly when +// processing a term /** * A sequence of printable ASCII characters (except backslash) that starts |