X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FcicUniv.mli;h=288efe616885b833ceedb5984af376fda2f8b2ae;hb=ad17757edcc6cf75be576268fab8cf52751d679a;hp=eb3c50866f73482a578f0f8376bd376c8e124236;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/cic/cicUniv.mli b/components/cic/cicUniv.mli
index eb3c50866..288efe616 100644
--- a/components/cic/cicUniv.mli
+++ b/components/cic/cicUniv.mli
@@ -27,7 +27,7 @@
 (*
   The strings contains an unreadable message
 *)
-exception UniverseInconsistency of string
+exception UniverseInconsistency of string Lazy.t
 
 (*
   Cic.Type of universe 
@@ -136,7 +136,7 @@ val recons_graph: universe_graph -> universe_graph
   (** re-hash-cons a single universe *)
 val recons_univ: universe -> universe
 
-  (** consistency chek that should be done before committin the graph to the
+  (** consistency check that should be done before committin the graph to the
    * cache *)
 val assert_univs_have_uri: universe_graph -> universe list-> unit