From 74281fa830a383e89377a3f3740f341fdfc2d6bb Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Fri, 11 Mar 2022 08:33:10 +0100
Subject: [PATCH] compile

---
 src/math/polysat/univariate/univariate_solver.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/polysat/univariate/univariate_solver.h b/src/math/polysat/univariate/univariate_solver.h
index b5b302620..79398855a 100644
--- a/src/math/polysat/univariate/univariate_solver.h
+++ b/src/math/polysat/univariate/univariate_solver.h
@@ -49,7 +49,7 @@ namespace polysat {
 
     class univariate_solver_factory {
     public:
-        virtual ~univariate_solver_factory();
+        virtual ~univariate_solver_factory() = default;
         virtual scoped_ptr<univariate_solver> operator()(unsigned bit_width) = 0;
     };