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)