Project

General

Profile

« Previous | Next » 

Revision bec3cf3d

Added by Xavier Thirioux over 6 years ago

strange bug (ill-typed source) wrt Bytes/String conversion

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

  		












Also available in:  Unified diff