X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicUnivUtils.ml;h=cd1aeba32a79c83d8f3018c5129f882e46dadd74;hb=aa0d60227b785da3355b31519ba11cb4fbd2c925;hp=ace4f844f78f44b32c987e6d844c2d319b039cbd;hpb=e764936e17ab96ddb6f6549bb65cc419e4e4ccac;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicUnivUtils.ml b/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
index ace4f844f..cd1aeba32 100644
--- a/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
+++ b/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
@@ -34,6 +34,8 @@
 (*                                                                           *)
 (*****************************************************************************)
 
+(* $Id$ *)
+
 module C = Cic
 module H = UriManager.UriHashtbl 
 let eq  = UriManager.eq