From d2733066993519b4dffe5ce09c0195ee890d523d Mon Sep 17 00:00:00 2001
From: TaoBi22 <beahealy22@gmail.com>
Date: Thu, 15 Jun 2023 14:43:45 +0100
Subject: [PATCH] Add EOF newline

---
 integration_test/circt-mc/comb_errors.mlir | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/integration_test/circt-mc/comb_errors.mlir b/integration_test/circt-mc/comb_errors.mlir
index 65aae27f5756..1082ebc309db 100644
--- a/integration_test/circt-mc/comb_errors.mlir
+++ b/integration_test/circt-mc/comb_errors.mlir
@@ -9,4 +9,5 @@ module {
     %cond = comb.icmp bin eq %or, %and : i1
     verif.assert %cond : i1
   }
-}
\ No newline at end of file
+}
+