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