adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration manually; this will make the LogicInfo commit coming up much easier to integrate into trunk, and will anyway be cleaned up when quantifiers2 branch is merged into trunk.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h
index 973163d62..fb76c1857 100644
--- 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
 };