X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgGrafite.ml;h=27ed9a1c4df539ceb454119a8a69bb9f3f78ac59;hb=fdb80b08af83b86759833142456ce3c4f84cd80e;hp=b3721e0ee5d2b942e6616dfde8cbd4d0d1387282;hpb=fec20705af4705f8eb9542aece87769b82a6a6b4;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgGrafite.ml b/helm/software/helena/src/basic_rg/brgGrafite.ml
index b3721e0ee..27ed9a1c4 100644
--- a/helm/software/helena/src/basic_rg/brgGrafite.ml
+++ b/helm/software/helena/src/basic_rg/brgGrafite.ml
@@ -26,6 +26,8 @@ IFDEF MANAGER THEN
 
 let ok = ref true
 
+let version = KP.sprintf "This file was generated by %s: do not edit" (G.version_string true)
+
 let base = "matita"
 
 let ext = ".ma"
@@ -124,7 +126,7 @@ let open_out fname =
    let path = KF.concat dir fname in
    let och = open_out (path ^ ext) in
    out_preamble och;
-   out_top_comment och (KP.sprintf "This file was generated by %s: do not edit" G.version_string);
+   out_top_comment och version;
    out_include och "basics/pts";
    output_entity och, close_out och