Revision 042dc586
Added by Pierre-Loïc Garoche almost 8 years ago
| src/backends/Horn/horn_backend.ml | ||
|---|---|---|
| 52 | 52 |
let load_file f = |
| 53 | 53 |
let ic = open_in f in |
| 54 | 54 |
let n = in_channel_length ic in |
| 55 |
let s = Bytes.create n in
|
|
| 55 |
let s = String.create n in
|
|
| 56 | 56 |
really_input ic s 0 n; |
| 57 | 57 |
close_in ic; |
| 58 | 58 |
(s) |
Also available in: Unified diff
Revert some ocaml code to ocaml 4.01 compatibility