fix tpl instantiation issue for mingw (#6597)

Z3Prover · Feb 17, 2023 · 828ff98 · 828ff98
1 parent bd10ddf
commit 828ff98
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/src/ast/rewriter/rewriter.h b/src/ast/rewriter/rewriter.h
@@ -347,7 +347,7 @@ class rewriter_tpl : public rewriter_core {
     Config & cfg() { return m_cfg; }
     Config const & cfg() const { return m_cfg; }
 
-    ~rewriter_tpl() override;
+    ~rewriter_tpl() override {};
 
     void reset();
     void cleanup();

diff --git a/src/ast/rewriter/rewriter_def.h b/src/ast/rewriter/rewriter_def.h
@@ -640,10 +640,6 @@ rewriter_tpl<Config>::rewriter_tpl(ast_manager & m, bool proof_gen, Config & cfg
     m_pr2(m) {
 }
 
-template<typename Config>
-rewriter_tpl<Config>::~rewriter_tpl() {
-}
-
 template<typename Config>
 void rewriter_tpl<Config>::reset() {
     m_cfg.reset();