fixed whelp bar

[helm.git] / helm / matita / matitaMathView.mli

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index 1dc3dabe8bcca48af519cc3d3b6d5068cfb5aad4..aa9d38ded1db2a0522b72d2a838081c5b5b7f6dd 100644 (file)
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -63,7 +63,7 @@ exception Browser_failure of string
 class type cicBrowser =
 object
   method load: MatitaTypes.mathViewer_entry -> unit
-  method loadList: string list -> MatitaTypes.mathViewer_entry -> unit
+  (* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
   method loadInput: string -> unit
 end