X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUniv.mli;h=eb3c50866f73482a578f0f8376bd376c8e124236;hb=7ca56e8a1f819df077d544b890c49ae59fdf3aa7;hp=cdeaa378ea9bc78e5d0994e9ea1ae5d15430d92f;hpb=9262517c80e17d46b9bf9931dc879ac653a633e9;p=helm.git

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index cdeaa378e..eb3c50866 100644
--- a/helm/ocaml/cic/cicUniv.mli
+++ b/helm/ocaml/cic/cicUniv.mli
@@ -151,3 +151,4 @@ val eq: universe -> universe -> bool
 *)
 val get_spent_time: unit -> float
 val reset_spent_time: unit -> unit
+