From 6be51b6ca979db872b63b4903d4bdd932845bfe2 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 27 Apr 2012 23:03:33 +0000 Subject: [PATCH] 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. --- src/expr/kind_template.h | 2 ++ 1 file changed, 2 insertions(+) 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 }; -- 2.30.2