]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/transcript/grafiteParser.mly
- hExtlib: new function "list_assoc_all"
[helm.git] / helm / software / components / binaries / transcript / grafiteParser.mly
index 1e6855f554154fe068bdc99320286a5a8f26f6d6..03ca0cdf47621ca0039e9691218628b41534f6bf 100644 (file)
          { 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)] }