From f627fceeb955382b51c04877b945785327f04948 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <ahmed.irfan@sri.com>
Date: Sat, 18 Nov 2023 12:19:15 -0800
Subject: [PATCH] one more warning fix

---
 src/mcsat/weq/weak_eq_graph.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/mcsat/weq/weak_eq_graph.c b/src/mcsat/weq/weak_eq_graph.c
index 4232a1618..bc271182e 100644
--- a/src/mcsat/weq/weak_eq_graph.c
+++ b/src/mcsat/weq/weak_eq_graph.c
@@ -1456,7 +1456,6 @@ void weq_graph_check_array_conflict(weq_graph_t* weq, ivector_t* conflict) {
   bool updates_present = false;
   uint32_t i;
   term_table_t* terms = weq->ctx->terms;
-  composite_term_t* t_desc = NULL;
   for (i = 0; ok && i < array_terms.size; ++i) {
     if (!eq_graph_term_has_value(weq->eq_graph, array_terms.data[i])) {
        ok = false;