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