From ab4b7c50ed70da03c945087f64690c93b920de69 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 7 Jun 2023 16:09:50 -0700
Subject: [PATCH] fix #6749

---
 src/smt/theory_array_base.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_array_base.cpp b/src/smt/theory_array_base.cpp
index 6c2f4038f..b766451df 100644
--- a/src/smt/theory_array_base.cpp
+++ b/src/smt/theory_array_base.cpp
@@ -969,7 +969,6 @@ namespace smt {
     }
 
     model_value_proc * theory_array_base::mk_value(enode * n, model_generator & mg) {
-        SASSERT(ctx.is_relevant(n));
         theory_var v       = n->get_th_var(get_id());
         SASSERT(v != null_theory_var);
         sort * s           = n->get_expr()->get_sort();