From a4c3d8883bf9d09d9c236dc7bb85d2f38d030c48 Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Thu, 21 Mar 2019 18:05:08 -0700
Subject: [PATCH] rev machines in emf
---
src/backends/EMF/EMF_backend.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/backends/EMF/EMF_backend.ml b/src/backends/EMF/EMF_backend.ml
index a6748f38..dc0525ca 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 "@]@ }"
--
GitLab