diff --git a/src/backends/EMF/EMF_backend.ml b/src/backends/EMF/EMF_backend.ml index a6748f3835d13016e218e0c61b2bece107eac0f8..dc0525ca88455cca91fc101c843d9f3aa31aaeb9 100644 --- a/src/backends/EMF/EMF_backend.ml +++ b/src/backends/EMF/EMF_backend.ml @@ -547,7 +547,7 @@ let translate fmt basename prog machines = fprintf fmt "\"nodes\": @[<v 0>{@ "; (* Previous alternative: mapping normalized lustre to EMF: fprintf_list ~sep:",@ " pp_decl fmt prog; *) - pp_emf_list pp_machine fmt (List.rev machines); + pp_emf_list pp_machine fmt machines; fprintf fmt "}@]@ }"; fprintf fmt "@]@ }"