undo, again

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