diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
| -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 c857f3905..63179cf42 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1786,10 +1786,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 |