Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / xmldiff / xmlDiff.ml

diff --git a/helm/ocaml/xmldiff/xmlDiff.ml b/helm/ocaml/xmldiff/xmlDiff.ml
index c3a35ad34c1b0cf89829989b3a437bfb7e53de47..6f68438e93058dc3b52e235d47c09ce67cfa4704 100644 (file)
--- 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";;