From f78623fcc72533cdab50bf2b7f08a925b7af2970 Mon Sep 17 00:00:00 2001
From: Alain Dargelas <alain@silimate.com>
Date: Wed, 20 Nov 2024 22:01:17 -0800
Subject: [PATCH] For Loop info

---
 frontends/verific/verific.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 41c49fcc2f1..fdcfff65a62 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2918,10 +2918,10 @@ std::set<std::string> import_tops(const char* work, std::map<std::string,Netlist
 #ifdef VERIFIC_LINEFILE_INCLUDES_LOOPS
 		// Decorate AST with loop scope id
 		VeriModule *module;
-		MapIter mi ;
+		MapIter mi;
 		DecorateLoopsVisitor loop_visitor;
-		FOREACH_VERILOG_MODULE_IN_LIBRARY(veri_lib, mi,module) {
-			module->Accept(loop_visitor);
+		FOREACH_VERILOG_MODULE_IN_LIBRARY(veri_lib, mi, module) { 
+			module->Accept(loop_visitor); 
 		}
 #endif