From 1706ab1f4f485f42b3fce78490a0b39bc0b06d63 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 28 Apr 2012 00:15:52 +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