update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / rolesParser.mly

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly b/matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly
index 990ca672ecaa352a35278cbbff726c890adec944..f901e44926b6f4ea77e90c4f9864fb1a4aae030a 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly
@@ -36,7 +36,7 @@ name:
 
 role:
   | OP REL ver olds news CP {
-      false, {ET.v = $3; ET.o = $4; ET.n = $5}
+      false, {ET.x = false; ET.v = $3; ET.o = $4; ET.n = $5}
     }
 ;
 
@@ -73,6 +73,6 @@ base:
 
 status:
   | ROLES SC OP TOP base ver olds news CP EOF {
-      {ET.r = $5; ET.s = $6; ET.t = $7; ET.w = $8}
+      {ET.m = false; ET.r = $5; ET.s = $6; ET.t = $7; ET.w = $8}
     }
 ;