From 33364c3f857477375e334e464456a4225f35ef9e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 5 Sep 2024 15:42:46 -0700 Subject: [PATCH] Remove redundant return statement in sls_bv_fixed.cpp --- src/ast/sls/sls_bv_fixed.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/sls/sls_bv_fixed.cpp b/src/ast/sls/sls_bv_fixed.cpp index b0b857668..c564a26e8 100644 --- a/src/ast/sls/sls_bv_fixed.cpp +++ b/src/ast/sls/sls_bv_fixed.cpp @@ -32,8 +32,6 @@ 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)