update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / roles.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.ml b/matita/matita/contribs/lambdadelta/bin/roles/roles.ml
index 14c0decc31599fbf9dbae139ef69cce12920d3b5..68e5dfa6bf0fc10e3e665ce2b8fad4088ab27b8e 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/roles.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.ml
@@ -36,10 +36,10 @@ let change_cwd s =
   EG.cwd := Filename.concat !EG.cwd s
 
 let add_tops s =
-  EE.add_tops (EU.version_of_string s)
+  EE.add_tops (EU.stage_of_string s)
 
 let new_stage s =
-  EE.new_stage (EU.version_of_string s)
+  EE.new_stage (EU.stage_of_string s)
 
 let select_entry s =
   EE.select_entry (EU.pointer_of_string s)