X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FuriManager.ml;h=9ff6a796656cbcc4995ece2d97007101ff965d4c;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;hp=b4bf073e2733401ffe760a1aa5ab14ff444563c9;hpb=2d26151ea656b0f386855ffb519541171855f755;p=helm.git

diff --git a/helm/ocaml/urimanager/uriManager.ml b/helm/ocaml/urimanager/uriManager.ml
index b4bf073e2..9ff6a7966 100644
--- a/helm/ocaml/urimanager/uriManager.ml
+++ b/helm/ocaml/urimanager/uriManager.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 (*
  * "cic:/a/b/c.con" => ("cic:/a/b/c.con", id )
  * "cic:/a/b/c.ind#xpointer(1/1)" => ("cic:/a/b/c.con#xpointer(1/1)", id)