diff --git a/src/ast/rewriter/rewriter.h b/src/ast/rewriter/rewriter.h
index a04c96f4f06..cd89bb2f9b3 100644
--- 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
index e9b9c316a95..44bed09c6b2 100644
--- 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();