From a1b831a3e1fc9a641477f68db21a123e15af5fe8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Oct 2025 17:50:08 +0200
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 beb37193b..324b3657c 100644
--- a/src/ast/converters/expr_inverter.cpp
+++ b/src/ast/converters/expr_inverter.cpp
@@ -837,7 +837,7 @@ public:
                 mk_fresh_uncnstr_var_for(f, r);
                 if (m_mc) {
                     add_def(args[0], r);
-                    add_def(args[1], fs.mk_empty_set(args[1]->get_sort()));
+                    add_def(args[1], fs.mk_empty(args[1]->get_sort()));
                 }
                 return true;
             }