diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-04-27 23:03:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-04-27 23:03:33 +0000 |
commit | 6be51b6ca979db872b63b4903d4bdd932845bfe2 (patch) | |
tree | abdc7ac3c1c30bf6f0469ee245379469fc6568c9 | |
parent | 755c90b722f3182343f1d8603ab63a2dad1f001e (diff) |
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.
-rw-r--r-- | src/expr/kind_template.h | 2 |
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 }; |