Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / tactics / hashtbl_equiv.ml

diff --git a/helm/ocaml/tactics/hashtbl_equiv.ml b/helm/ocaml/tactics/hashtbl_equiv.ml
index 543528de622db54a51f826ad539deaed339c2313..86448268c53f4f2f75c5f2f37eb28992ad13f8f4 100644 (file)
--- a/helm/ocaml/tactics/hashtbl_equiv.ml
+++ b/helm/ocaml/tactics/hashtbl_equiv.ml
@@ -33,6 +33,7 @@
 (*                                                                   *)
 (*********************************************************************)
 
+(* $Id$ *)
 
 (* the file contains an hash table of objects of the library
    equivalent to some object in the standard subset; it is