From f1a30b3fcd4afd2f69e2b2c8a748213f28676752 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 27 Apr 2012 23:04:32 +0000 Subject: [PATCH] undo previous commit (as it will break a number of things without additional support I haven't yet committed) --- src/expr/kind_template.h | 2 -- 1 file changed, 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 }; -- 2.30.2