X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.ml;fp=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.ml;h=106d92706e8fbe7e46783fb0f0d9cca12353ee21;hb=22c254f98842cf7b6f94189625e4936a169bdfb1;hp=46552d5aa690e649354315ead787b6014da77716;hpb=283c65c5e52db9bc3ee712358faa6cd6b48d38d0;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 46552d5aa..106d92706 100644
--- a/helm/software/components/ng_kernel/nCicEnvironment.ml
+++ b/helm/software/components/ng_kernel/nCicEnvironment.ml
@@ -20,7 +20,6 @@ exception BadDependency of string Lazy.t;;
 exception BadConstraint of string Lazy.t;;
 
 let type0 = []
-let cprop = [false, NUri.uri_of_string ("cic:/matita/pts/CProp.univ")]
 
 let le_constraints = ref [] (* strict,a,b *)