diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 54240d68c..79766ec14 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3074,7 +3074,7 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 		Netlist *nl = it->second;
 
 		// use Verific optimizations
-		#ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
+#ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
 		if (verific_opt) {
 			log("  Running Verific optimizations for %s.\n", it->first.c_str());
 
@@ -3084,7 +3084,7 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 			log("    Running operator optimization for %s.\n", it->first.c_str());
 			nl->OperatorOptimization();
 		}
-		#endif
+#endif
 
 		if (nl_done.count(it->first) == 0) {
 			VerificImporter importer(false, false, false, false, false, false, false, false);