From 17913f3ec84215a4652df25f01cc6e64d8e2341e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 3 Dec 2023 16:40:55 -0800
Subject: [PATCH] remove braces

---
 src/qe/qsat.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/qe/qsat.cpp b/src/qe/qsat.cpp
index a4d32b505..720614573 100644
--- a/src/qe/qsat.cpp
+++ b/src/qe/qsat.cpp
@@ -267,10 +267,9 @@ namespace qe {
                 continue;
             }
             
-            for (expr* f : *a) {
+            for (expr* f : *a)
                 if (!mark.is_marked(f))
-                    todo.push_back(f);                
-            } 
+                    todo.push_back(f);                            
             
             bool is_boolop = 
                 (a->get_family_id() == m.get_basic_family_id()) &&