X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaMathView.mli;h=b11befe4eb9f6ea89bcadf58590188ac566b1103;hb=349a0e23813a7f33853e1f8fe48230276ac22934;hp=aa9d38ded1db2a0522b72d2a838081c5b5b7f6dd;hpb=aac382f935bc72578119fa7ff9f53c3b649dd0dd;p=helm.git

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index aa9d38ded..b11befe4e 100644
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -59,7 +59,6 @@ class type sequentsViewer =
 
 exception Browser_failure of string
 
-
 class type cicBrowser =
 object
   method load: MatitaTypes.mathViewer_entry -> unit