reverted

diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml
index d07f31b55f5647806c493d63645067558a933c93..63cf77a16e356352294078aa27e5651e7213e54c 100644 (file)
--- 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