Project

General

Profile

Revision 5d08c49e src/backends/Horn/horn_backend.ml

View differences:

src/backends/Horn/horn_backend.ml
80 80

  
81 81
let print_dep fmt prog =
82 82
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. extracting Horn libraries@,");
83
  fprintf fmt "; Statically linked libraries@";
83
  fprintf fmt "; Statically linked libraries@,";
84 84
  let dependencies = Corelang.get_dependencies prog in
85 85
  List.iter
86 86
    (fun dep ->

Also available in: Unified diff