Merge pull request #2997 from FStarLang/_nik_fix_hardcoded_open_names…

…paces Fix hardcoded dependences of a file
FStarLang · Jul 29, 2023 · 2129510 · 2129510
2 parents cf3eaa8 + da175f7
commit 2129510
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Parser_Dep.ml b/ocaml/fstar-lib/generated/FStar_Parser_Dep.ml
diff --git a/src/parser/FStar.Parser.Dep.fst b/src/parser/FStar.Parser.Dep.fst
@@ -513,7 +513,7 @@ let hard_coded_dependencies full_filename =
 
   (* The core libraries do not have any implicit dependencies *)
   if List.mem (module_name_of_file filename) (core_modules ()) then []
-  else match (namespace_of_module (lowercase_module_name full_filename)) with
+  else match namespace_of_module (module_name_of_file full_filename) with
        | None -> implicit_ns_deps @ implicit_module_deps
          (*
           * AR: we open FStar, and then ns