From cc77ff5c28c551a63ca9eeb257bb1fad24ffb51e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 5 Sep 2024 15:37:00 -0700 Subject: [PATCH] Add early return after setting fixed subterms in sls_bv_fixed.cpp --- src/ast/sls/sls_bv_fixed.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ast/sls/sls_bv_fixed.cpp b/src/ast/sls/sls_bv_fixed.cpp index c564a26e8..b0b857668 100644 --- a/src/ast/sls/sls_bv_fixed.cpp +++ b/src/ast/sls/sls_bv_fixed.cpp @@ -32,6 +32,8 @@ namespace sls { for (auto e : ctx.subterms()) set_fixed(e); + return; + for (auto lit : ctx.unit_literals()) { auto a = ctx.atom(lit.var()); if (!a)