- re-factoring: dropped sequentViewer in favour of cicMathView which

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

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 69bee68a534ee659b566e6f894945e901be28436..610f22a4ec7943d6b3b53e7117fb10e9b5b1958b 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -80,9 +80,9 @@ let script =
   
   (* math viewers *)
 let _ =
-  let sequent_viewer = MatitaMathView.sequentViewer_instance () in
+  let cic_math_view = MatitaMathView.cicMathView_instance () in
   let sequents_viewer = MatitaMathView.sequentsViewer_instance () in
-  sequent_viewer#set_href_callback
+  cic_math_view#set_href_callback
     (Some (fun uri -> (MatitaMathView.cicBrowser ())#load
       (`Uri (UriManager.uri_of_string uri))));
   let browser_observer _ = MatitaMathView.refresh_all_browsers () in
@@ -130,8 +130,8 @@ let _ =
         prerr_endline (UriManager.string_of_uri u)) 
         (CicEnvironment.list_obj ()));
     addDebugItem "print selections" (fun () ->
-      let sequentViewer = MatitaMathView.sequentViewer_instance () in
-      List.iter MatitaLog.debug (sequentViewer#string_of_selections));
+      let cicMathView = MatitaMathView.cicMathView_instance () in
+      List.iter MatitaLog.debug (cicMathView#string_of_selections));
     addDebugItem "dump getter settings" (fun _ ->
       prerr_endline (Http_getter_env.env_to_string ()));
     addDebugItem "getter: getalluris" (fun _ ->