Project

General

Profile

« Previous | Next » 

Revision 103f6f60

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

Missing last fprintf @. in the lustre output

View differences:

src/main_lustre_compiler.ml
316 316
       let source_out = open_out source_file in
317 317
       let fmt = formatter_of_out_channel source_out in
318 318
       Printers.pp_prog fmt prog;
319
       Format.fprintf fmt "@.@?";
319 320
       (*	Lustre_backend.translate fmt basename normalized_prog machine_code *)
320 321
       ()
321 322
     end

Also available in: Unified diff