From 548d5244b8893cb51851383c30523271b7bd88a3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 22 Oct 2004 12:52:35 +0000 Subject: [PATCH] ignore boolean returned by saveDocument --- helm/gTopLevel/termViewer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml index 25570868b..4eac2617a 100644 --- a/helm/gTopLevel/termViewer.ml +++ b/helm/gTopLevel/termViewer.ml @@ -130,7 +130,7 @@ class sequent_viewer ~(mml_of_cic_sequent:mml_of_cic_sequent) obj = prerr_endline "PRIMA DI SALVARE IL FILE" ; self#load_root ~root:sequent_mml#get_documentElement ; prerr_endline "SALVO IL FILE IN TEMP" ; -Misc.domImpl#saveDocumentToFile ~name:"/tmp/pippo" ~doc:sequent_mml () ; +ignore (Misc.domImpl#saveDocumentToFile ~name:"/tmp/pippo" ~doc:sequent_mml ()); current_infos <- Some (ids_to_terms,ids_to_father_ids,ids_to_hypotheses) end -- 2.39.2