From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 18 Jan 2005 09:21:25 +0000 (+0000)
Subject: fixed comments
X-Git-Tag: V_0_1_0~133
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=316aca76611f6b909e0c53a50362e79a5336e474;p=helm.git

fixed comments
---

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 62e733522..b7dda1085 100644
--- 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.      *)