From 30d72f79ac9ea92cfc9bb324f69a2b843ed8cfc4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 29 Jan 2025 03:48:11 -0800
Subject: [PATCH] remove verbose output of overflow

---
 src/ast/sls/sls_arith_base.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index d27da1b39..ebc9f08e3 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -769,7 +769,6 @@ namespace sls {
             }
         }
         catch (overflow_exception const&) {
-            verbose_stream() << "overflow1\n";
             return false;
         }
 
@@ -812,7 +811,6 @@ namespace sls {
                     prod *= power_of(value(w), p);
             }
             catch (overflow_exception const&) {
-                verbose_stream() << "overflow\n";
                 return false;
             }
             if (value(w) != prod && !update_checked(w, prod))
@@ -1487,7 +1485,6 @@ namespace sls {
                             hi_valid = false;
                     }
                     catch (overflow_exception&) {
-                        verbose_stream() << "overflow3\n";
                         hi_valid = false;
                     }
                 }