- added an hack to load sequents viewer's mathml from file

[helm.git] / matita / matitaMathView.ml

diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml
index e2eb22d5b8f05371ac9f456597360b35668f2c74..8f477bd60278cb869803cf45d8dd5cf577379515 100644 (file)
--- a/matita/matitaMathView.ml
+++ b/matita/matitaMathView.ml
@@ -538,6 +538,8 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
   object (self)
     inherit scriptAccessor
 
+    method cicMathView = cicMathView  (** clickableMathView accessor *)
+
     val mutable pages = 0
     val mutable switch_page_callback = None
     val mutable page2goal = []  (* associative list: page no -> goal no *)