X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent%2Finterpretations.mli;h=50432801dd8acc107c025672fcc38baccc66bc44;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=10a2f093e1c6b90600f1e4d12d519345c922bd4f;hpb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;p=helm.git

diff --git a/matita/components/content/interpretations.mli b/matita/components/content/interpretations.mli
index 10a2f093e..50432801d 100644
--- a/matita/components/content/interpretations.mli
+++ b/matita/components/content/interpretations.mli
@@ -60,7 +60,6 @@ val set_active_interpretations: interpretation_id list -> unit
 val instantiate_appl_pattern:
   mk_appl:('term list -> 'term) -> 
   mk_implicit:(bool -> 'term) ->
-  term_of_uri : (UriManager.uri -> 'term) ->
   term_of_nref : (NReference.reference -> 'term) ->
   (string * 'term) list -> NotationPt.cic_appl_pattern ->
     'term