From 6f7271a5e8b292965c25f54712c5980f8eefb3ec Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Mon, 9 Jul 2018 10:37:26 +0100
Subject: [PATCH] remove virtual destructor from api::pmanager

---
 src/api/api_polynomial.cpp | 11 -----------
 src/api/api_polynomial.h   |  6 +++---
 2 files changed, 3 insertions(+), 14 deletions(-)

diff --git a/src/api/api_polynomial.cpp b/src/api/api_polynomial.cpp
index 8c5fc99c9..93a23cb04 100644
--- a/src/api/api_polynomial.cpp
+++ b/src/api/api_polynomial.cpp
@@ -26,17 +26,6 @@ Notes:
 #include "util/scoped_timer.h"
 #include "ast/expr2var.h"
 
-namespace api {
-
-    pmanager::pmanager(reslimit& lim):
-        m_pm(lim, m_nm) {
-    }
-
-    pmanager::~pmanager() {
-    }
-
-};
-
 extern "C" {
 
     Z3_ast_vector Z3_API Z3_polynomial_subresultants(Z3_context c, Z3_ast p, Z3_ast q, Z3_ast x) {
diff --git a/src/api/api_polynomial.h b/src/api/api_polynomial.h
index fbb1e7e13..a31f6c2b8 100644
--- a/src/api/api_polynomial.h
+++ b/src/api/api_polynomial.h
@@ -23,13 +23,13 @@ Notes:
 
 namespace api {
     
-    class pmanager {
+    class pmanager final {
         unsynch_mpz_manager m_nm;
         polynomial::manager m_pm;
         // TODO: add support for caching expressions -> polynomial and back
     public:
-        pmanager(reslimit& limx);
-        virtual ~pmanager();
+        pmanager(reslimit& lim) : m_pm(lim, m_nm) {}
+        ~pmanager() {}
         polynomial::manager & pm() { return m_pm; }
     };