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