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)
 {