Project

General

Profile

« Previous | Next » 

Revision 4f3cc9f3

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

Is it working?

View differences:

src/main_lustre_compiler.ml
258 258 
      let fmt = Format.std_formatter in
259 259 
      Horn_backend.translate fmt basename normalized_prog machine_code
260 260 
    end
261 
    | _ -> assert false
261 262 
  in
262 263 
  report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
263 264 
  (* We stop the process here *)

Also available in: Unified diff