Project

General

Profile

« Previous | Next » 

Revision 83dc064f

Added by Pierre-Loïc Garoche over 6 years ago

Byte/String bug reappeared

View differences:

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@." (Bytes.to_string horn);
91
      fprintf fmt "@.%s@." (horn);
92 92
    )
93 93
    dependencies
94 94

  

Also available in: Unified diff