X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermViewer.mli;h=f391363ebdf48730caac1dcbb9b0138a06589322;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=5a8ff7253bb48d1601eb55f1fa5f4fcb2c38440b;hpb=18bd1d094e9227822ea8c0fa4f9668cd8752236f;p=helm.git

diff --git a/helm/gTopLevel/termViewer.mli b/helm/gTopLevel/termViewer.mli
index 5a8ff7253..f391363eb 100644
--- a/helm/gTopLevel/termViewer.mli
+++ b/helm/gTopLevel/termViewer.mli
@@ -45,7 +45,6 @@ type mml_of_cic_sequent =
    
 
 type mml_of_cic_object =
-  UriManager.uri ->
   Cic.obj ->
   Gdome.document * 
   (Cic.annobj * 
@@ -106,7 +105,7 @@ class proof_viewer :
     (* load_proof also returns the annotated cic term and the *)
     (* ids_to_inner_types and ids_to_inner_sorts maps.        *)
     method load_proof :
-     UriManager.uri -> Cic.obj ->
+     Cic.obj ->
       Cic.annobj * (Cic.id, Cic2acic.anntypes) Hashtbl.t *
        (Cic.id, string) Hashtbl.t