Project

General

Profile

Revision 3ca27bc7 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
389 389
       let source_file = destname ^ ".emf" in (* Could be changed *)
390 390
       let source_out = open_out source_file in
391 391
       let fmt = formatter_of_out_channel source_out in
392
       EMF_backend.translate fmt prog machine_code;
392
       EMF_backend.translate fmt basename prog machine_code;
393 393
       ()
394 394
     end
395 395

  

Also available in: Unified diff