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

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
index 03263aef1..1535c493b 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
@@ -47,5 +47,6 @@ type error = EWrongExt of string
            | EWrongSelect
            | EWrongVersion
            | ETops
+           | EWrongRequest of string * string
 
 exception Error of error