update in binaries for λδ

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

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
index ad97fe73afebd7c87016799525503e044af84ca0..f62d21196346701e46ea2d5c02a153382df98841 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
@@ -41,6 +41,10 @@ type error = EExt of string
            | ENoStage
            | ENews
            | ENameClash of name
+           | EObjClash of obj
+           | ERoleClash of role
            | ENoEntry
+           | EWrongSelect
+           | EWrongVersion
 
 exception Error of error