X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Fgrafite.ml;h=83b745980ead119f83b76191ced70b16a2649013;hb=6a5e51c1cf9a56c74a8b53a9b8bc5aa686c9780e;hp=f6a08229013bd03ef0bb944feef917e458f242f5;hpb=32e77480c65cbf23ae7dea38a519c83dfeaf3830;p=helm.git

diff --git a/helm/software/components/binaries/transcript/grafite.ml b/helm/software/components/binaries/transcript/grafite.ml
index f6a082290..83b745980 100644
--- a/helm/software/components/binaries/transcript/grafite.ml
+++ b/helm/software/components/binaries/transcript/grafite.ml
@@ -83,7 +83,7 @@ let inline (kind, uri, prefix) =
        | T.Declarative -> G.Declarative
        | T.Procedural  -> G.Procedural None 
     in
-    command_of_macro (G.Inline (floc, kind, uri, prefix))
+    command_of_macro (G.Inline (floc, kind, uri, prefix, None))
 
 let out_alias och name uri =
    Printf.fprintf och "alias id \"%s\" = \"%s\".\n\n" name uri