X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FapplyTransformation.ml;h=83e5f3c18e42dd97a04222180ddb57f5bc1684a2;hb=139f62a4d0444cde883db8803f6b62b3c9d12bcd;hp=861fe922de3368bfdf35a4ae9fdab1a2212a467f;hpb=c1f74c5fe5c69d3d830f6a58bc0e20c99d1fa8f7;p=helm.git

diff --git a/helm/matita/applyTransformation.ml b/helm/matita/applyTransformation.ml
index 861fe922d..83e5f3c18 100644
--- a/helm/matita/applyTransformation.ml
+++ b/helm/matita/applyTransformation.ml
@@ -33,6 +33,8 @@
 (*                                                                         *)
 (***************************************************************************)
 
+(* $Id$ *)
+
 let mpres_document pres_box =
   Xml.add_xml_declaration (CicNotationPres.print_box pres_box)