clang format

llvm · Jan 17, 2025 · 7a2ecee · 7a2ecee
1 parent 28f3931
commit 7a2ecee
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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] :