diff --git a/src/tactic/arith/probe_arith.cpp b/src/tactic/arith/probe_arith.cpp
index 4c5c17bd5..2e090755b 100644
--- a/src/tactic/arith/probe_arith.cpp
+++ b/src/tactic/arith/probe_arith.cpp
@@ -135,7 +135,6 @@ struct has_nlmul {
     
     void throw_found(expr* e) {
         TRACE("probe", tout << expr_ref(e, m) << ": " << sort_ref(m.get_sort(e), m) << "\n";);
-        SASSERT(false);
         throw found();
     }