X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesUtils.ml;h=c4b60552c941cf3a4216d7ebf056daacce8292bb;hp=5fdf312f70321584b0e78b59c95babce4ed7e09f;hb=3be6630ba2a592488502b320e85e45b55a099580;hpb=cfccf434a57e10848d74d06674af4ec9cef0f0ca

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml
index 5fdf312f7..c4b60552c 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml
@@ -164,7 +164,7 @@ let rec match_names oi ni os ns =
     Some (oi, ni)
 
 let new_status = {
-  ET.r = []; ET.s = []; ET.t = []; ET.w = [];
+  ET.m = false; ET.r = []; ET.s = []; ET.t = []; ET.w = [];
 }
 
 let string_of_pointer = string_of_version