Class mathViewer got rid of. The circular dependency between

[helm.git] / matita / matita / matita.ml

diff --git a/matita/matita/matita.ml b/matita/matita/matita.ml
index 12cb9eedafac1e7a96d11e68d7711b41146603d8..4b8548f1932386d13f024f2f82e5789479b0409b 100644 (file)
--- a/matita/matita/matita.ml
+++ b/matita/matita/matita.ml
@@ -50,7 +50,6 @@ let script =
   let s = 
     MatitaScript.script 
       ~source_view:gui#sourceView
-      ~mathviewer:(MatitaMathView.mathViewer ())
       ~urichooser:(fun uris ->
         try
           MatitaGui.interactive_uri_choice ~selection_mode:`SINGLE