X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent%2Fcontent.ml;h=6a23ab1e739424a83ff39ba012ee1dd17658bc2a;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hp=1e4cc88afa1532040ec534ae4c0560fe28999502;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/content/content.ml b/matita/components/content/content.ml
index 1e4cc88af..6a23ab1e7 100644
--- a/matita/components/content/content.ml
+++ b/matita/components/content/content.ml
@@ -164,7 +164,6 @@ type 'term in_object_context_element =
 
 type 'term cobj  = 
         id *                            (* id *)
-        UriManager.uri list *           (* params *)
         'term conjecture list option *  (* optional metasenv *) 
         'term in_object_context_element (* actual object *)
 ;;