From 97f5ef2056b0debe5b8a7ed7258827741dc30a26 Mon Sep 17 00:00:00 2001
From: Alain Dargelas <alain@silimate.com>
Date: Thu, 21 Nov 2024 11:31:36 -0800
Subject: [PATCH] indent

---
 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 352b89c73..833300fde 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3011,7 +3011,7 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 		verific_params.Insert(i.first.c_str(), i.second.c_str());
 
 #ifdef VERIFIC_LINEFILE_INCLUDES_LOOPS
-    VeriLibrary* veri_lib = veri_file::GetLibrary("work", 1);
+		VeriLibrary* veri_lib = veri_file::GetLibrary("work", 1);
 		// Decorate AST with loop scope id
 		VeriModule *module;
 		MapIter mi;