From 3f0f70ba7c220c406c7b70ea7fb46e36a5f9738c Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Sat, 23 Sep 2023 20:11:44 +0200
Subject: [PATCH] Add missing return

---
 src/math/polysat/constraint_manager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/polysat/constraint_manager.cpp b/src/math/polysat/constraint_manager.cpp
index c7583f926..b073728cc 100644
--- a/src/math/polysat/constraint_manager.cpp
+++ b/src/math/polysat/constraint_manager.cpp
@@ -322,6 +322,7 @@ namespace polysat {
         default:
             verbose_stream() << "invalid value for polysat.bvumulo: " << static_cast<unsigned>(s.config().m_bvumulo_repr) << "\n";
             UNREACHABLE();
+            return {};
         }
     }