X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FfreshNamesGenerator.ml;h=99c9e4d76c9d93f51e070fce5aca31487c6099af;hb=6f0e3275c5a100568c8529d6c58150ef4af692d0;hp=113edd1ff229ad00aecde38451ecb42339ff89a2;hpb=a93a94942ad58d8645af1fd94bef8fa31d9541a4;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/freshNamesGenerator.ml b/helm/ocaml/cic_proof_checking/freshNamesGenerator.ml
index 113edd1ff..99c9e4d76 100755
--- a/helm/ocaml/cic_proof_checking/freshNamesGenerator.ml
+++ b/helm/ocaml/cic_proof_checking/freshNamesGenerator.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 let debug_print = fun _ -> ()
 
 let rec higher_name arity =