From f0570fbc0ef7e6179f5a5ccff1701ebd11e88871 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 25 Nov 2022 11:48:44 +0700
Subject: [PATCH] remove tactic exception dependency

---
 src/ast/simplifiers/max_bv_sharing.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/simplifiers/max_bv_sharing.cpp b/src/ast/simplifiers/max_bv_sharing.cpp
index 86021fea6..2abacb7f7 100644
--- a/src/ast/simplifiers/max_bv_sharing.cpp
+++ b/src/ast/simplifiers/max_bv_sharing.cpp
@@ -62,7 +62,7 @@ class max_bv_sharing : public dependent_expr_simplifier {
 
         bool max_steps_exceeded(unsigned num_steps) const { 
             if (memory::get_allocation_size() > m_max_memory)
-                throw tactic_exception(TACTIC_MAX_MEMORY_MSG);
+                throw rewriter_exception(Z3_MAX_MEMORY_MSG);
             return num_steps > m_max_steps;
         }