projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add new interfaces to term formula removal and theory preprocess (#5717)
[cvc5.git]
/
src
/
theory
/
rewriter_tables_template.h
diff --git
a/src/theory/rewriter_tables_template.h
b/src/theory/rewriter_tables_template.h
index 48ae21347219254eedd0ed171eca3f77dd3dbccf..4e350dca95377063cf57b8c93020252358cd77d3 100644
(file)
--- a/
src/theory/rewriter_tables_template.h
+++ b/
src/theory/rewriter_tables_template.h
@@
-61,7
+61,7
@@
${post_rewrite_set_cache}
}
}
-Rewriter::Rewriter()
+Rewriter::Rewriter()
: d_tpg(nullptr)
{
for (size_t i = 0; i < kind::LAST_KIND; ++i)
{