diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 0b966fdae..0ae09285f 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3410,8 +3410,8 @@ struct VerificPass : public Pass {
 			// SetIter si;
     	const char *file_name, *dir_name, *key, *value;
 			for (argidx++; argidx < GetSize(args); argidx++) {
-				if (args[argidx] == "-f" || args[argidx] == "-F") {
-					veri_file::f_file_flags flags = (args[argidx] == "-f") ? veri_file::F_FILE_NONE : veri_file::F_FILE_CAPITAL;
+				if (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF") {
+					veri_file::f_file_flags flags = (args[argidx] == "-f") ? veri_file::F_FILE_NONE : ((args[argidx] == "-F") ? veri_file::F_FILE_CAPITAL : veri_file::F_FILE_CAPITAL_NESTED);
 					Array *file_names = veri_file::ProcessFFile(args[++argidx].c_str(), flags, verilog_mode);
 					FOREACH_ARRAY_ITEM(veri_file::IncludeDirs(), i, dir_name) {
 						if (!hdl_file_sort::RegisterDir(dir_name)) {
diff --git a/verific b/verific
index 64a1b027b..9a8b93c36 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 64a1b027bc889a10b953366c2c09a9454c9ea6b8
+Subproject commit 9a8b93c362a8dd20ddf169da859c2b2149f9d84c