X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_proof_checking%2FcicDischarge.mli;h=2e2790a97fb9c3c45604180b80e7a0162ce5cce0;hb=da5dd88bbcc43d9f4342e47c922b820abf91c92f;hp=7d6f630f4ace6a8af204b552871de3112aab5d78;hpb=2ea5357bace160aaf57750d9dcfb3077fe5a1b38;p=helm.git

diff --git a/helm/software/components/cic_proof_checking/cicDischarge.mli b/helm/software/components/cic_proof_checking/cicDischarge.mli
index 7d6f630f4..2e2790a97 100644
--- a/helm/software/components/cic_proof_checking/cicDischarge.mli
+++ b/helm/software/components/cic_proof_checking/cicDischarge.mli
@@ -23,6 +23,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* NOTE. Discharged variables are not well formed. *)
+(*       For internal recursive use only.          *) 
+
 (* discharges the explicit variables of the given object (with sharing)     *)
 (* the first argument is a map for relacating the names of the objects      *)
 (* the second argument is a map for relocating the uris of the dependencdes *)