attached macros: hint(partial), check

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

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 078ba00db77d87346e0a9eb0b0ccdc88001d204c..69295bd7e0793af4c3792092db418e239a60353b 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -59,8 +59,11 @@ let _ =
     (MatitaGui.interactive_interp_choice ())
 
 let script =
-  MatitaScript.script ~buffer:gui#main#scriptTextView#buffer
-    ~init:(Lazy.force MatitaEngine.initial_status) ()
+  MatitaScript.script 
+    ~buffer:gui#main#scriptTextView#buffer
+    ~init:(Lazy.force MatitaEngine.initial_status) 
+    ~mathviewer:(MatitaMathView.mathViewer ())
+    ()
 
   (* math viewers *)
 let _ =