From 40fe472e9555ee5a67b64f70c71577c9a2941bd7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 May 2022 13:23:33 -0700
Subject: [PATCH] nit

---
 src/ast/ast.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 65e2a5d1a..332116d71 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -1672,9 +1672,8 @@ void ast_manager::add_lambda_def(func_decl* f, quantifier* q) {
 }
 
 quantifier* ast_manager::is_lambda_def(func_decl* f) {
-    if (f->get_info() && f->get_info()->is_lambda()) {
+    if (f->get_info() && f->get_info()->is_lambda()) 
         return m_lambda_defs[f];
-    }
     return nullptr;
 }