Project

General

Profile

Revision bde99c3f src/backends/Horn/horn_backend.ml

View differences:

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 = String.create n in
55
  let s = Bytes.create n in
56 56
  really_input ic s 0 n;
57 57
  close_in ic;
58 58
  (s)

Also available in: Unified diff