From 05e8e4a37cbc159cd8354330c04a4804e881d153 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 Feb 2026 15:42:13 -0800 Subject: [PATCH] fix another regression by Nuno's changes Signed-off-by: Nikolaj Bjorner --- src/qe/nlqsat.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/qe/nlqsat.cpp b/src/qe/nlqsat.cpp index 04ecdebb1..1761af08b 100644 --- a/src/qe/nlqsat.cpp +++ b/src/qe/nlqsat.cpp @@ -385,6 +385,7 @@ namespace qe { // They are sorted by size, so we project the largest variables first to avoid // renaming variables. for (unsigned i = vars.size(); i-- > 0;) { + new_result.reset(); ex.project(vars[i], result.size(), result.data(), new_result); TRACE(qe, display_project(tout, vars[i], result, new_result);); result.swap(new_result);