Class mathViewer got rid of. The circular dependency between

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

diff --git a/matita/matita/matitaScript.mli b/matita/matita/matitaScript.mli
index 50bc17eda08991223f1b74d108c21218c3e9040f..de95aac52ce9618500c05f5ed030aa5292a01843 100644 (file)
--- a/matita/matita/matitaScript.mli
+++ b/matita/matita/matitaScript.mli
@@ -85,7 +85,6 @@ end
    * "*") on the side of a script name *)
 val script: 
   source_view:GSourceView2.source_view -> 
-  mathviewer: MatitaTypes.mathViewer-> 
   urichooser: (NReference.reference list -> NReference.reference list) -> 
   ask_confirmation: 
     (title:string -> message:string -> [`YES | `NO | `CANCEL]) ->