1. Method screenshot moved to CicMathView where it belongs to.

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

diff --git a/matita/matita/matitaScript.ml b/matita/matita/matitaScript.ml
index b84180037b5ad92716267ce1022b19cc74e72550..c50b4b5716e20a468980147931a6e6fbe0f28b05 100644 (file)
--- a/matita/matita/matitaScript.ml
+++ b/matita/matita/matitaScript.ml
@@ -112,7 +112,7 @@ let eval_nmacro include_paths (buffer : GText.buffer) guistuff grafite_status us
          let selected = Continuationals.Stack.head_goals status#stack in
          List.filter (fun x,_ -> List.mem x selected) menv         
        in
-       guistuff.mathviewer#screenshot status sequents menv subst name;
+       CicMathView.screenshot status sequents menv subst name;
        [status, parsed_text], "", parsed_text_length
   | TA.NCheck (_,t) ->
       let status = script#grafite_status in