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 /src/expr/kind_template.h | |
| 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.
Diffstat (limited to 'src/expr/kind_template.h')
| -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 }; |