nl@eof

llvm · Jun 18, 2024 · c1c276a · c1c276a
1 parent 39239b4
commit c1c276a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Dialect/Verif/verify.mlir b/test/Dialect/Verif/verify.mlir
@@ -43,4 +43,4 @@ hw.module @deeplynested(in %clk: i1, in %a: i1, in %b: i1) {
   %o1 = ltl.or %b, %a1 : i1, !ltl.property
 
   verif.clocked_assert %o1 if %b, posedge %clk : !ltl.property
-}
+}