From cdb3befa0dbcb6754cb67b5aa8faae0677a720ef Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 20 Nov 2008 15:54:16 +0000 Subject: [PATCH] reverted --- helm/software/matita/matitaMathView.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2