diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-04-27 23:04:32 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-04-27 23:04:32 +0000 |
| commit | f1a30b3fcd4afd2f69e2b2c8a748213f28676752 (patch) | |
| tree | 737b54493a5b67dfc424d0333bf93f3014a2e89e /src/expr/kind_template.h | |
| parent | 6be51b6ca979db872b63b4903d4bdd932845bfe2 (diff) | |
undo previous commit (as it will break a number of things without additional support I haven't yet committed)
Diffstat (limited to 'src/expr/kind_template.h')
| -rw-r--r-- | src/expr/kind_template.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index fb76c1857..973163d62 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -124,8 +124,6 @@ namespace theory { enum TheoryId { ${theory_enum} - THEORY_QUANTIFIERS, - THEORY_REWRITERULES, THEORY_LAST }; |