diff --git a/src/plugins/scopes/scopes.ml b/src/plugins/scopes/scopes.ml index ccc59d9be11037467811da0c1fcb58e88672c4da..ae7e473d5d89153747641d5ee184fe66e499e925 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 ();