From 49141c7813eeb8f0e578d4660e7d93fc61adf4b6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 16 Jul 2018 08:33:41 +0100
Subject: [PATCH] remove left-over break assert

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/arith/probe_arith.cpp | 1 -
 1 file changed, 1 deletion(-)

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();
     }