Revision bec3cf3d
Added by Xavier Thirioux 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@." horn;
|
|
| 91 |
fprintf fmt "@.%s@." (Bytes.to_string horn);
|
|
| 92 | 92 |
) |
| 93 | 93 |
dependencies |
| 94 | 94 |
|
Also available in: Unified diff
strange bug (ill-typed source) wrt Bytes/String conversion