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).