diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index f8939ea39..b9097b6a6 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3458,6 +3458,7 @@ struct VerificPass : public Pass {
 			hdl_file_sort::AddFileExtMode(".svh", veri_file::SYSTEM_VERILOG);
 			hdl_file_sort::AddFileExtMode(".svp", veri_file::SYSTEM_VERILOG);
 			hdl_file_sort::AddFileExtMode(".h", veri_file::SYSTEM_VERILOG);
+			hdl_file_sort::AddFileExtMode(".inc", veri_file::SYSTEM_VERILOG);
 			veri_file::RemoveFileExt(".v");
 			veri_file::AddFileExtMode(".v", veri_file::SYSTEM_VERILOG);
 			veri_file::AddFileExtMode(".vh", veri_file::SYSTEM_VERILOG);
@@ -3465,6 +3466,7 @@ struct VerificPass : public Pass {
 			veri_file::AddFileExtMode(".svh", veri_file::SYSTEM_VERILOG);
 			veri_file::AddFileExtMode(".svp", veri_file::SYSTEM_VERILOG);
 			veri_file::AddFileExtMode(".h", veri_file::SYSTEM_VERILOG);
+			veri_file::AddFileExtMode(".inc", veri_file::SYSTEM_VERILOG);
 
 			// Select analyze function
 			auto analyze_function = (args[argidx] == "-auto_discover") ? hdl_file_sort::AnalyzeDiscoveredFiles : hdl_file_sort::AnalyzeSortedFiles;
diff --git a/verific b/verific
index 1b8960963..14be4a7ad 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 1b896096356ed3046498161a4128be3b9ca9f467
+Subproject commit 14be4a7ad34e0892ea067cfbabbb6035f52a869b