removed dead code (thanks to ocaml 3.09)

[helm.git] / helm / matita / matitaGtkMisc.ml

diff --git a/helm/matita/matitaGtkMisc.ml b/helm/matita/matitaGtkMisc.ml
index 3c0d1b4c359ba15ba418b70f1cd74585a6d27484..c969f1bcd66621b004967349e5bd892639fe9332 100644 (file)
--- a/helm/matita/matitaGtkMisc.ml
+++ b/helm/matita/matitaGtkMisc.ml
@@ -340,7 +340,6 @@ let ask_confirmation ~title ~message ?parent () =
     !rc
 
 let report_error ~title ~message ?parent () =
-  let rc = ref false in
   let callback _ = () in
   let buttons = GWindow.Buttons.ok in
   try