diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 56854b5ff..886c28093 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3695,9 +3695,9 @@ struct VerificPass : public Pass {
 #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
 		if (GetSize(args) > argidx && args[argidx] == "-set_vhdl_default_library_path") {
 			for (argidx++; argidx < GetSize(args); argidx++) {
-		#ifdef VERIFIC_VHDL_SUPPORT
+#ifdef VERIFIC_VHDL_SUPPORT
 				vhdl_file::SetDefaultLibraryPath(args[argidx].c_str());
-		#endif
+#endif
 			}
 			goto check_error;
 		}