X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;h=de5240e447ccacbf533609fe91f6b59f44e49f09;hb=87ff483dd776e580fa97fca0e3bf888cc8a8d540;hp=f8f252b524f3e3e697b6ae12f339bde0cbb1bd54;hpb=d0991ea0c7c83c100b2d223644cb2f11a8554fa1;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index f8f252b52..de5240e44 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -123,6 +123,7 @@ class gui file =
 *)
 
     method about = about
+    method browser = browser
     method check = check
     method console = console
     method fileSel = fileSel