From 08cf90d3fd4e0f825f570ed5ec273da202dd7013 Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@CerezoBook.local>
Date: Fri, 10 Jul 2026 18:48:14 -0700
Subject: [PATCH] format

Signed-off-by: James Cherry <cherry@CerezoBook.local>
---
 search/Search.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/search/Search.cc b/search/Search.cc
index 0a7cac29..69be1f7f 100644
--- a/search/Search.cc
+++ b/search/Search.cc
@@ -96,7 +96,8 @@ EvalPred::searchThru(Edge *edge,
 {
   const TimingRole *role = edge->role();
   return SearchPred0::searchThru(edge, mode)
-    && (sta_->variables()->dynamicLoopBreaking() || !edge->isDisabledLoop())
+    && (sta_->variables()->dynamicLoopBreaking()
+        || !edge->isDisabledLoop())
     && (search_thru_latches_
         || role->isLatchDtoQ()
         || sta_->latches()->latchDtoQState(edge, mode) == LatchEnableState::open);