From 75702c36311f8adb2edcf92548a60387c87f8f9b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 10 Oct 2021 18:29:55 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/recfun_rewriter.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/ast/rewriter/recfun_rewriter.cpp b/src/ast/rewriter/recfun_rewriter.cpp
index 2519d07559a..b332f22564f 100644
--- 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;
-    }
 }