From 5413018d8690e04a85c979a6e6750305c3beb2af Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 30 Sep 2024 08:43:17 -0700 Subject: [PATCH] Update euf_ac_plugin.cpp --- src/ast/euf/euf_ac_plugin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/euf/euf_ac_plugin.cpp b/src/ast/euf/euf_ac_plugin.cpp index 9a7202362..0c890a26f 100644 --- a/src/ast/euf/euf_ac_plugin.cpp +++ b/src/ast/euf/euf_ac_plugin.cpp @@ -442,7 +442,7 @@ namespace euf { // simplify eq using processed TRACE("plugin", for (auto other_eq : backward_iterator(eq_id)) - tout << "backward iterator " << eq_id << " vs " << other_eq << " " << is_processed(other_eq) << "\n");); + tout << "backward iterator " << eq_id << " vs " << other_eq << " " << is_processed(other_eq) << "\n"); for (auto other_eq : backward_iterator(eq_id)) if (is_processed(other_eq) && backward_simplify(eq_id, other_eq)) goto loop_start;