Project

General

Profile

Revision 1bff14ac src/compiler_common.ml

View differences:

src/compiler_common.ml
239 239
  List.fold_left
240 240
    (fun (compilation_dep, type_env, clock_env) dep ->
241 241
      let (local, s) = Corelang.dependency_of_top dep in
242
      let basename = Options.name_dependency (local, s) in
242
      let basename = Options_management.name_dependency (local, s) in
243 243
      Log.report ~level:1 (fun fmt -> Format.fprintf fmt "  Library %s@ " basename);
244 244
      let lusic = Modules.import_dependency dep.top_decl_loc (local, s) in
245 245
      (*Log.report ~level:1 (fun fmt -> Format.fprintf fmt "");*)

Also available in: Unified diff