removed no longer used METAs

[helm.git] / helm / ocaml / cic / path_indexing.ml

diff --git a/helm/ocaml/cic/path_indexing.ml b/helm/ocaml/cic/path_indexing.ml
index 81c3583e135fa8b90f5f4ed874ec4a8dbc73a289..c0e4bb2bee8b825909e3e43ae65f5372129877e0 100644 (file)
--- a/helm/ocaml/cic/path_indexing.ml
+++ b/helm/ocaml/cic/path_indexing.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 (* path indexing implementation *)
 
 (* position of the subterm, subterm (Appl are not stored...) *)