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=f02af702181744c001b75bd2f95b3c070a72f231;hp=1535c493be77a484e42547a93fa4c0e62a055cc7;hb=3be6630ba2a592488502b320e85e45b55a099580;hpb=cfccf434a57e10848d74d06674af4ec9cef0f0ca

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
index 1535c493b..f02af7021 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
@@ -20,6 +20,7 @@ type obj = version * name
 type objs = (bool*obj) list
 
 type role = {
+  mutable x: bool;
   mutable v: version;
   mutable o: objs;
   mutable n: names;
@@ -28,6 +29,7 @@ type role = {
 type roles = (bool*role) list
 
 type status = {
+  mutable m: bool;
   mutable r: roles;
   mutable s: version;
   mutable t: objs;