From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 20 Nov 2008 15:54:16 +0000 (+0000)
Subject: reverted
X-Git-Tag: make_still_working~4531
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cdb3befa0dbcb6754cb67b5aa8faae0677a720ef;p=helm.git

reverted
---

diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml
index d07f31b55..63cf77a16 100644
--- a/helm/software/matita/matitaMathView.ml
+++ b/helm/software/matita/matitaMathView.ml
@@ -1109,8 +1109,8 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
       gviz#load_graph_from_file ~gviz_cmd:"tred | dot" tmpfile;
       (match center_on with
       | None -> ()
-      | Some uri -> gviz#center_on_href (UriManager.string_of_uri uri))
-(*       HExtlib.safe_remove tmpfile *)
+      | Some uri -> gviz#center_on_href (UriManager.string_of_uri uri));
+      HExtlib.safe_remove tmpfile
 
     method private dependencies direction uri () =
       let dbd = LibraryDb.instance () in