X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaTypes.ml;h=7468bedfadfaafe84ef7edb1bdb0cec7ae973f85;hb=8cb2490b5b202549a596cfd1d0f166a5ee43fc4e;hp=61f4bc306407ca6ac6facfefc117128912864da1;hpb=bee436af0c6ceb1c83259c94036df8b12f901f2d;p=helm.git

diff --git a/helm/software/matita/matitaTypes.ml b/helm/software/matita/matitaTypes.ml
index 61f4bc306..7468bedfa 100644
--- a/helm/software/matita/matitaTypes.ml
+++ b/helm/software/matita/matitaTypes.ml
@@ -103,6 +103,6 @@ class type mathViewer =
     method show_uri_list:
       ?reuse:bool -> entry:mathViewer_entry -> UriManager.uri list -> unit
     method screenshot: 
-      GrafiteTypes.status -> int * NCic.conjecture -> NCic.metasenv ->
+      GrafiteTypes.status -> NCic.metasenv -> NCic.metasenv ->
         NCic.substitution -> string -> unit
   end