Revision 185ddf4d
Added by Pierre-Loïc Garoche over 5 years ago
| src/backends/Horn/horn_backend.ml | ||
|---|---|---|
| 54 | 54 |
let s = Bytes.create n in |
| 55 | 55 |
really_input ic s 0 n; |
| 56 | 56 |
close_in ic; |
| 57 |
(s)
|
|
| 57 |
Bytes.to_string s
|
|
| 58 | 58 |
|
| 59 | 59 |
let print_type_definitions fmt = |
| 60 | 60 |
let cpt_type = ref 0 in |
Also available in: Unified diff
Type issue Bytes vs string