smt2 parser: tokenize emptyset only if theory enabled

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index b3761dfbd0a6bc78c3ba6eee02b72592e272c3cb..bc417d54cae3d09d517484ea8d50075345db568a 100644 (file)
--- 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