added assertions about graph in the environment having Some uris

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

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index d2b2483a19b5b331b7c9a601d5ebe674e9051950..7bd224946afd02b181d58d38cbef232dc1d31d69 100644 (file)
--- a/helm/ocaml/cic/cicUniv.mli
+++ b/helm/ocaml/cic/cicUniv.mli
@@ -118,6 +118,10 @@ val restart_numbering:
    * CicEnvironment.restore_from_channel *)
 val recons_graph: universe_graph -> universe_graph
 
+  (** consistency chek that should be done before committin the graph to the
+   * cache *)
+val assert_univs_have_uri: universe_graph -> unit
+
 (*
   Benchmarking stuff
 *)