X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fcomponents%2Fbinaries%2Ftranscript%2FgrafiteParser.mly;fp=matita%2Fcomponents%2Fbinaries%2Ftranscript%2FgrafiteParser.mly;h=2f4d1e264c09a3cbcc2cf4e8103a64b4b1ff0109;hb=560db5569f54fba5bded568699a33947f88df3ba;hp=82295c69b553bc68f268a387f2127f49defb46ad;hpb=729e08f5fb86b3ffee460fda4577b024ab5888aa;p=helm.git

diff --git a/matita/components/binaries/transcript/grafiteParser.mly b/matita/components/binaries/transcript/grafiteParser.mly
index 82295c69b..2f4d1e264 100644
--- a/matita/components/binaries/transcript/grafiteParser.mly
+++ b/matita/components/binaries/transcript/grafiteParser.mly
@@ -127,7 +127,7 @@
          { out "OK" $1; [T.Verbatim $1] }
       | TH SPC id line drops
          { out "TH" $3;
-	   let a, b = mk_flavour $1 in [T.Inline (false, a, $3, "", b, [])] 
+	   let a, b = mk_flavour $1 in [T.Inline (false, a, $3, "", b)] 
 	 }
       | UNX line drops { out "UNX" $1; [T.Verbatim ($1 ^ $2 ^ $3)] }
       | PS steps       { out "PS" $2; [] }