update in binaries for λδ

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

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml
index 5fdf312f70321584b0e78b59c95babce4ed7e09f..c4b60552c941cf3a4216d7ebf056daacce8292bb 100644 (file)
--- 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