Project

General

Profile

Revision 1bff14ac src/backends/Horn/horn_backend.ml

View differences:

src/backends/Horn/horn_backend.ml
85 85
  List.iter
86 86
    (fun dep ->
87 87
      let (local, s) = Corelang.dependency_of_top dep in
88
      let basename = (Options.name_dependency (local, s)) ^ ".smt2" in
88
      let basename = (Options_management.name_dependency (local, s)) ^ ".smt2" in
89 89
      Log.report ~level:1 (fun fmt -> Format.fprintf fmt "@[<v 0> Horn Library %s@," basename);
90 90
      let horn = load_file basename in
91 91
      fprintf fmt "@.%s@." horn;

Also available in: Unified diff