From 1ccfba6a91b0fff2278644ef152dea3a598b3c1d Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Wed, 27 Nov 2024 12:09:16 +0000
Subject: [PATCH] remove unreachble code

---
 src/smt/smt_context.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 3b42f6ea6..e23c8949c 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -2477,7 +2477,6 @@ namespace smt {
         catch (...) {
             // throwing inside pop is just not cool.
             UNREACHABLE();
-            throw;
         }
 
         // an exception can happen when axioms are reinitialized (because they are rewritten).