We do not need to give cprop a special status yet.

[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.ml

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 46552d5aa690e649354315ead787b6014da77716..106d92706e8fbe7e46783fb0f0d9cca12353ee21 100644 (file)
--- 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 *)