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