X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.mli;h=045555b802f14ee7f0ccf7316a55461676f44c97;hb=fbf93abd486f756b826ac2565f0296ecb4941dc0;hp=ed57b886c44c7af09a476918b81cde2b50f599b3;hpb=522bfe4fd22804ff7fb0013697721504003a6606;p=helm.git

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index ed57b886c..045555b80 100644
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -59,8 +59,6 @@ class type sequentsViewer =
     method goto_sequent: int -> unit  (* to be called _after_ load_sequents *)
   end
 
-exception Browser_failure of string
-
 class type cicBrowser =
 object
   method load: MatitaTypes.mathViewer_entry -> unit