Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / paramodulation / test_indexing.ml

diff --git a/helm/ocaml/paramodulation/test_indexing.ml b/helm/ocaml/paramodulation/test_indexing.ml
index 5681a5d08725c1c05971c287e91d67d3aee33a87..ba6b2ebe062c173735685f50a30f7dab27a2a87c 100644 (file)
--- a/helm/ocaml/paramodulation/test_indexing.ml
+++ b/helm/ocaml/paramodulation/test_indexing.ml
@@ -1,3 +1,5 @@
+(* $Id$ *)
+
 open Path_indexing
 
 (*