Revision 1bff14ac src/backends/Horn/horn_backend.ml
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