diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-04-28 00:17:03 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-04-28 00:17:03 +0000 |
| commit | 057d291e5a8d3e5fd7b5bbe65c0fde4db98be350 (patch) | |
| tree | 737b54493a5b67dfc424d0333bf93f3014a2e89e /src/expr/kind_template.h | |
| parent | 1706ab1f4f485f42b3fce78490a0b39bc0b06d63 (diff) | |
undo, again
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 }; |