From 24bb93c3e4bd8b4a443be0b93f10084f9215ea55 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 24 May 2026 15:48:10 -0700
Subject: [PATCH] nit

---
 src/ast/euf/ho_matcher.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/ast/euf/ho_matcher.cpp b/src/ast/euf/ho_matcher.cpp
index 3bb1d6a99..b44f5888a 100644
--- a/src/ast/euf/ho_matcher.cpp
+++ b/src/ast/euf/ho_matcher.cpp
@@ -273,10 +273,9 @@ namespace euf {
         unsigned arity = f->get_arity();
         SASSERT(is_lambda(lam));
         
-        if (arity == 0) {
+        if (arity == 0) 
             // Constant lambda-def: just return the lambda expression
-            return expr_ref(lam, m);
-        }
+            return expr_ref(lam, m);        
 
         var_subst subst(m, false);
         expr_ref r = subst(lam, to_app(e)->get_num_args(), to_app(e)->get_args());