From 7a2ecee1c5e821b233a78e421160fe3142ae3125 Mon Sep 17 00:00:00 2001
From: Lenny Truong <lenny.truong@sifive.com>
Date: Fri, 17 Jan 2025 09:59:17 -0800
Subject: [PATCH] clang format

---
 lib/Dialect/Verif/Transforms/LowerContracts.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/Dialect/Verif/Transforms/LowerContracts.cpp b/lib/Dialect/Verif/Transforms/LowerContracts.cpp
index 80a7a19c555f..759515fbcf29 100644
--- a/lib/Dialect/Verif/Transforms/LowerContracts.cpp
+++ b/lib/Dialect/Verif/Transforms/LowerContracts.cpp
@@ -76,7 +76,6 @@ LogicalResult cloneFanIn(OpBuilder &builder, Operation *opToClone,
     }
   }
 
-
   if (auto contract = dyn_cast<ContractOp>(opToClone)) {
     // Assume it holds, map outputs to inputs
     for (auto [result, input] :