some debug prints/stats

[helm.git] / helm / ocaml / cic / cicUniv.mli

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index cdeaa378ea9bc78e5d0994e9ea1ae5d15430d92f..eb3c50866f73482a578f0f8376bd376c8e124236 100644 (file)
--- 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
+