Project

General

Profile

« Previous | Next » 

Revision 5d08c49e

Added by Pierre-Loïc Garoche about 5 years ago

Solved printing bug in Horn backend

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