adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration manually...

diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h
index 973163d6273911a35c4852722efab66612669521..fb76c1857d602af82750a013eccd34d5efbdb268 100644 (file)
--- a/src/expr/kind_template.h
+++ b/src/expr/kind_template.h
@@ -124,6 +124,8 @@ namespace theory {
 
 enum TheoryId {
 ${theory_enum}
+  THEORY_QUANTIFIERS,
+  THEORY_REWRITERULES,
   THEORY_LAST
 };