remove unreachble code

nunoplopes · nunoplopes · commit 1ccfba6a91b0 · 2024-11-27T12:09:16.000Z
diff --git 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).

Original file line number	Diff line number	Diff line change
`@@ -2477,7 +2477,6 @@ namespace smt {`
`2477`	`2477`	`catch (...) {`
`2478`	`2478`	`// throwing inside pop is just not cool.`
`2479`	`2479`	`UNREACHABLE();`
`2480`		`- throw;`
`2481`	`2480`	`}`
`2482`	`2481`
`2483`	`2482`	`// an exception can happen when axioms are reinitialized (because they are rewritten).`