anchor.diff:         in
   
          let auto_open = hard_coded_dependencies filename |> List.map (fun (lid, k) ->
  -         P_open_module_or_namespace (k, lid))
  +         P_implicit_open_module_or_namespace (k, lid))
          in
   
          let working_map = smap_copy original_map in
  
positive.code:          end
         in
  
         let record_open_namespace lid =
           let key = lowercase_join_longident lid true in
           let r = enter_namespace original_map working_map key in
           if not r then
             FStar.Errors.log_issue (range_of_lid lid)
               (Errors.Warning_ModuleOrFileNotFoundWarning, (Util.format1 "No modules in namespace %s and no file with \
  
negative.code:   | VerifyFigureItOut
  
  type files_for_module_name = smap<(option<string> * option<string>)>
  
  let files_for_module_name_to_string (m:files_for_module_name) =
    BU.print_string "Printing the file system map {\n";
    let str_opt_to_string sopt =
      match sopt with
      | None -> "<None>"
      | Some s -> s in
    smap_iter m (fun k (intf, impl) -> BU.print3 "%s:(%s, %s)\n" k (str_opt_to_string intf) (str_opt_to_string impl));
    BU.print_string "}\n"
  
  type color = | White | Gray | Black
  
  