Project

General

Profile

« Previous | Next » 

Revision a4c3d888

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

rev machines in emf

View differences:

src/backends/EMF/EMF_backend.ml
547 547 
  fprintf fmt "\"nodes\": @[<v 0>{@ ";
548 548 
  (* Previous alternative: mapping normalized lustre to EMF:
549 549 
     fprintf_list ~sep:",@ " pp_decl fmt prog; *)
550 
  pp_emf_list pp_machine fmt (List.rev machines);
550 
  pp_emf_list pp_machine fmt machines;
551 551 
  fprintf fmt "}@]@ }";
552 552 
  fprintf fmt "@]@ }"
553 553 

  		












Also available in:  Unified diff