X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGuiTypes.mli;h=f75769fb0daccdc65168e3160db4716770e7a0f0;hb=1aca50505c3ce6c76dd7d20d00e358707caffd4a;hp=fa2583d06d6b98299d374df8983c6390f8cfd08a;hpb=b9a7832bdd58be9ab5b9547af880bea152f2c3ce;p=helm.git

diff --git a/matita/matita/matitaGuiTypes.mli b/matita/matita/matitaGuiTypes.mli
index fa2583d06..f75769fb0 100644
--- a/matita/matita/matitaGuiTypes.mli
+++ b/matita/matita/matitaGuiTypes.mli
@@ -43,8 +43,3 @@ object
   method goto_sequent:
    #ApplyTransformation.status -> int -> unit (* to be called _after_ load_sequents *)
 end
-
-class type cicBrowser =
-object
-  method load: MatitaTypes.mathViewer_entry -> unit
-end