Project

General

Profile

Revision f7caf067 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
376 376
       let source_file = destname ^ ".emf" in (* Could be changed *)
377 377
       let source_out = open_out source_file in
378 378
       let fmt = formatter_of_out_channel source_out in
379
       EMF_backend.translate fmt prog;
379
       EMF_backend.translate fmt prog machine_code;
380 380
       ()
381 381
     end
382 382

  

Also available in: Unified diff