Project

General

Profile

Revision 185ddf4d src/backends/Horn/horn_backend.ml

View differences:

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