X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaScript.ml;fp=matita%2Fmatita%2FmatitaScript.ml;h=f1b20efe5929eff2ca0cde49d2e4edf8efc01789;hb=1eba57d6ae8c7cb8adab81cf50674adaaa55eccc;hp=37e0f92395351c662d8031477b57ae8aadd191e3;hpb=b9a7832bdd58be9ab5b9547af880bea152f2c3ce;p=helm.git

diff --git a/matita/matita/matitaScript.ml b/matita/matita/matitaScript.ml
index 37e0f9239..f1b20efe5 100644
--- a/matita/matita/matitaScript.ml
+++ b/matita/matita/matitaScript.ml
@@ -125,7 +125,7 @@ let eval_nmacro include_paths (buffer : GText.buffer) status unparsed_text parse
             NotationPt.Cast (t,NotationPt.Implicit `JustOne))  
           (* XXX use the metasenv, if possible *)
       in
-      MatitaMathView.show_entry (`NCic (t,ctx,m,s));
+      MatitaMathView.cicBrowser (Some (`NCic (t,ctx,m,s)));
       [status, parsed_text], "", parsed_text_length
   | TA.NIntroGuess _loc ->
       let names_ref = ref [] in