X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fxmldiff%2FxmlDiff.ml;h=6f68438e93058dc3b52e235d47c09ce67cfa4704;hb=b1bad322d0daf6c25f95a82c4349f057a753ab7c;hp=c3a35ad34c1b0cf89829989b3a437bfb7e53de47;hpb=46008a8be6907e23734a071a1e290ed794e0cae3;p=helm.git

diff --git a/helm/ocaml/xmldiff/xmlDiff.ml b/helm/ocaml/xmldiff/xmlDiff.ml
index c3a35ad34..6f68438e9 100644
--- a/helm/ocaml/xmldiff/xmlDiff.ml
+++ b/helm/ocaml/xmldiff/xmlDiff.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 let mathmlns = "http://www.w3.org/1998/Math/MathML";;
 let xmldiffns = "http://helm.cs.unibo.it/XmlDiff";;
 let helmns = "http://www.cs.unibo.it/helm";;