Revision 83dc064f
Added by Pierre-Loïc Garoche over 6 years ago
src/backends/Horn/horn_backend.ml | ||
---|---|---|
88 | 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 |
fprintf fmt "@.%s@." (Bytes.to_string horn);
|
|
91 |
fprintf fmt "@.%s@." (horn); |
|
92 | 92 |
) |
93 | 93 |
dependencies |
94 | 94 |
|
Also available in: Unified diff
Byte/String bug reappeared