X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesTypes.ml;h=03263aef18d7c2a980c970b10bd7e54599df89b7;hb=9bb0e91ff4c24ae6e51cac336b9edd6d6bf1ed0d;hp=f62d21196346701e46ea2d5c02a153382df98841;hpb=f5bc9206835d61109a72c7b973dad8dd21914950;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
index f62d21196..03263aef1 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
@@ -36,15 +36,16 @@ type status = {
 
 type pointer = int list
 
-type error = EExt of string
+type error = EWrongExt of string
            | EStage of version
            | ENoStage
-           | ENews
+           | EWaiting
            | ENameClash of name
            | EObjClash of obj
            | ERoleClash of role
            | ENoEntry
            | EWrongSelect
            | EWrongVersion
+           | ETops
 
 exception Error of error