From 5038bfa2af266504d688d68b66d8dff461629bb0 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 3 Oct 2024 00:29:16 -0700
Subject: [PATCH] Fix minor whitespace thing

---
 frontends/verific/verific.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 0a46d1a75..da2d3bd9e 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -16,6 +16,7 @@
  *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  *
  */
+
 #include "kernel/yosys.h"
 #include "kernel/sigtools.h"
 #include "kernel/celltypes.h"