rm extra assertion

SRI-CSL · Jun 13, 2023 · 2e500ce · 2e500ce
1 parent b5bf790
commit 2e500ce
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/mcsat/weq/weak_eq_graph.c b/src/mcsat/weq/weak_eq_graph.c
@@ -1221,7 +1221,6 @@ void weq_graph_array_build_weak_eq_graph(weq_graph_t* weq,
     term_t t = array_terms->data[i];
     term_kind_t t_kind = term_kind(terms, t);
     assert(is_function_term(terms, t));
-    assert(t_kind == UNINTERPRETED_TERM || t_kind == UPDATE_TERM);
 
     weq_graph_node_t *b = weq_graph_get_node(weq, t);
     if (t_kind == UPDATE_TERM) {