diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index b4b0664d3..f7c2cefd2 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3510,6 +3510,12 @@ struct VerificPass : public Pass {
 					verific_error_msg.clear();
 					log_cmd_error("Reading Verilog/SystemVerilog sources failed.\n");
 			}
+			char* fn;
+			int i = 0;
+
+			FOREACH_ARRAY_ITEM(&file_names, i, fn) {
+				free(fn);
+			}
 			set_modules_to_blackbox(map, work, flag_lib);
 			verific_import_pending = true;
 			goto check_error;