From 356e6317508d84082a37a60227040025977e8885 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 14 Oct 2025 17:48:19 +0200 Subject: [PATCH] Change OP_SET_UNION to OP_FINITE_SET_UNION --- src/ast/converters/expr_inverter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/converters/expr_inverter.cpp b/src/ast/converters/expr_inverter.cpp index 2aec0250a..beb37193b 100644 --- a/src/ast/converters/expr_inverter.cpp +++ b/src/ast/converters/expr_inverter.cpp @@ -830,7 +830,7 @@ public: bool operator()(func_decl* f, unsigned num, expr* const* args, expr_ref& r) override { switch (f->get_decl_kind()) { - case OP_SET_UNION: + case OP_FINITE_SET_UNION: // x union y -> fresh // x := fresh, y := empty if (num == 2 && uncnstr(args[0]) && uncnstr(args[1])) {