From dc732cf2a105e4ea1a9016ddddedc70b708839f4 Mon Sep 17 00:00:00 2001 From: ploc <ploc@garoche.net> Date: Mon, 29 Apr 2019 22:29:01 +0200 Subject: [PATCH] Solved scopes print order --- src/plugins/scopes/scopes.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/plugins/scopes/scopes.ml b/src/plugins/scopes/scopes.ml index ccc59d9b..ae7e473d 100644 --- a/src/plugins/scopes/scopes.ml +++ b/src/plugins/scopes/scopes.ml @@ -160,7 +160,6 @@ let check_scopes main_node_name prog machines all_scopes scopes = - let scope_var_name vid = vid ^ "__scope" (**********************************************************************) @@ -344,7 +343,7 @@ let register_scopes s = option_all_scopes:=false; let scope_list = Str.split (Str.regexp ", *") s in let scope_list = List.map (fun scope -> Str.split (Str.regexp "\\.") scope) scope_list in - scopes_def := scope_list + scopes_def := List.rev scope_list let register_inputs s = activate (); -- GitLab