na

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Oct 11, 2021 · 75702c3 · 75702c3
1 parent f7a2d08
commit 75702c3
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/ast/rewriter/recfun_rewriter.cpp b/src/ast/rewriter/recfun_rewriter.cpp
@@ -22,10 +22,9 @@ Module Name:
 
 br_status recfun_rewriter::mk_app_core(func_decl * f, unsigned num_args, expr * const * args, expr_ref & result) {
     if (m_rec.is_defined(f) && num_args > 0) {
-        for (unsigned i = 0; i < num_args; ++i) {
+        for (unsigned i = 0; i < num_args; ++i) 
             if (!m.is_value(args[i]))
                 return BR_FAILED;
-        }
         if (!m_rec.has_def(f))
             return BR_FAILED;
         recfun::def const& d = m_rec.get_def(f);
@@ -35,9 +34,8 @@ br_status recfun_rewriter::mk_app_core(func_decl * f, unsigned num_args, expr *
         result = sub(d.get_rhs(), num_args, args);
         return BR_REWRITE_FULL;
     }
-    else {
+    else 
         return BR_FAILED;
-    }
 }