From 6f5b52807cf0363aea714765aa4eb8d35470d5ec Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 28 Apr 2026 16:18:36 -0700 Subject: [PATCH] whitespace --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 39866d849..212761028 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -47,7 +47,7 @@ USING_YOSYS_NAMESPACE #include "Array.h" #include "RuntimeFlags.h" -#include "Set.h" +#include "Set.h" #ifdef VERIFIC_HIER_TREE_SUPPORT #include "hier_tree.h" #endif