fixed comments

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 62e7335227d83cb8f62a05c20d5b5945fc961f2b..b7dda108592449434fccc60d601b572acf49e806 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -66,6 +66,10 @@ exception Term_not_found of UriManager.uri;;
                          HERE STARTS THE CACHE MODULE 
  * ************************************************************************** *)
 
+(* I think this should be the right place to implement mecanisms and 
+ * invasriants 
+ *)
+
 (* Cache that uses == instead of = for testing equality *)
 (* Invariant: an object is always in at most one of the *)
 (* following states: unchecked, frozen and cooked.      *)