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=301142f7f94cdf63ac7688b431d2d3f1226db9db;hp=f57d17641e04466ccd27898f20b0875ab49d7c36;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hpb=456a157eba1428fd4ec02713e60ac2b653a0e0b0

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
index f57d17641..301142f7f 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
@@ -62,3 +62,5 @@ type error = EWrongExt of string
            | EWrongRequest of string * string
 
 exception Error of error
+
+type each = string -> string -> bool -> string -> string -> unit