X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermViewer.ml;h=c35cdb377d700c8df6de42375fa80a34617359ab;hb=60c66573ddcb1cea922095dfdc3a315d8d5012a1;hp=cb3b23a007be0a687bc0fd49e4b9d5f123ca8db1;hpb=95d791163d23738e82c4232598138f7cbab4207f;p=helm.git

diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml
index cb3b23a00..c35cdb377 100644
--- a/helm/gTopLevel/termViewer.ml
+++ b/helm/gTopLevel/termViewer.ml
@@ -105,12 +105,8 @@ class sequent_viewer obj =
      ) selections
   
   method load_sequent metasenv sequent =
-   let sequent_gdome,ids_to_terms,ids_to_father_ids,ids_to_hypotheses =
-    SequentPp.XmlPp.print_sequent metasenv sequent in
-   let sequent_doc =
-    Xml2Gdome.document_of_xml Misc.domImpl sequent_gdome in
-   let sequent_mml =
-    ApplyStylesheets.apply_sequent_stylesheets sequent_doc
+   let sequent_mml,(ids_to_terms,ids_to_father_ids,ids_to_hypotheses) =
+    ApplyStylesheets.mml_of_cic_sequent metasenv sequent
    in
     self#load_doc ~dom:sequent_mml ;
     current_infos <-