urimanager removed

[helm.git] / matita / components / content / content.ml

diff --git a/matita/components/content/content.ml b/matita/components/content/content.ml
index 1e4cc88afa1532040ec534ae4c0560fe28999502..6a23ab1e739424a83ff39ba012ee1dd17658bc2a 100644 (file)
--- 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 *)
 ;;