X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FmQGUtil.ml;h=7603ab9a67748f8106fe2b3018054e64043fa74f;hb=c9476a5e112e223c2e0707658229b47c00ca7b5f;hp=e30742649ab5f50bfdc986855c0893054a5847e3;hpb=296b163c8a2b09a6f87cbab15c2016de92fc8e70;p=helm.git

diff --git a/helm/ocaml/mathql_generator/mQGUtil.ml b/helm/ocaml/mathql_generator/mQGUtil.ml
index e30742649..7603ab9a6 100644
--- a/helm/ocaml/mathql_generator/mQGUtil.ml
+++ b/helm/ocaml/mathql_generator/mQGUtil.ml
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 module T = MQGTypes
 
 (* low level functions  *****************************************************)