From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 14 Oct 2009 08:51:13 +0000 (+0000)
Subject: CProp uri fixed
X-Git-Tag: make_still_working~3310
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d88c6bdb650d69ffccac2031cecf7a50cd7e6917;p=helm.git

CProp uri fixed
---

diff --git a/helm/software/components/ng_library/oCic2NCic.ml b/helm/software/components/ng_library/oCic2NCic.ml
index 1cf194a4c..7225ea2a4 100644
--- a/helm/software/components/ng_library/oCic2NCic.ml
+++ b/helm/software/components/ng_library/oCic2NCic.ml
@@ -20,10 +20,7 @@ let mk_type n =
 ;;
 
 let mk_cprop n = 
-  if n = 0 then 
-    [`CProp, NUri.uri_of_string ("cic:/matita/pts/Type.univ")]
-  else
-    [`CProp, NUri.uri_of_string ("cic:/matita/pts/Type"^string_of_int n^".univ")]
+ [`CProp, NUri.uri_of_string ("cic:/matita/pts/Type"^string_of_int n^".univ")]
 ;;
 
 let is_proof_irrelevant context ty =