X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesParser.mly;h=f901e44926b6f4ea77e90c4f9864fb1a4aae030a;hp=990ca672ecaa352a35278cbbff726c890adec944;hb=3be6630ba2a592488502b320e85e45b55a099580;hpb=cfccf434a57e10848d74d06674af4ec9cef0f0ca

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly b/matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly
index 990ca672e..f901e4492 100644
--- 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}
     }
 ;