projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
755c90b
)
adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration manually...
author
Morgan Deters
<mdeters@gmail.com>
Fri, 27 Apr 2012 23:03:33 +0000
(23:03 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Fri, 27 Apr 2012 23:03:33 +0000
(23:03 +0000)
src/expr/kind_template.h
patch
|
blob
|
history
diff --git
a/src/expr/kind_template.h
b/src/expr/kind_template.h
index 973163d6273911a35c4852722efab66612669521..fb76c1857d602af82750a013eccd34d5efbdb268 100644
(file)
--- 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
};