From 47098e8619f269ddaaf621936ae90b9dfa128871 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 27 Jun 2016 00:16:33 +0200
Subject: Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.

Instead of relaunching the coqtop process and then open the warning window,
we rather fire the warning and wait for the user to press the OK button before
doing anything.
---
 ide/coqOps.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/coqOps.mli')

diff --git a/ide/coqOps.mli b/ide/coqOps.mli
index 4a37a1fa5..332c18f2f 100644
--- a/ide/coqOps.mli
+++ b/ide/coqOps.mli
@@ -15,7 +15,7 @@ object
   method tactic_wizard : string list -> unit task
   method process_next_phrase : unit task
   method process_until_end_or_error : unit task
-  method handle_reset_initial : Coq.reset_kind -> unit task
+  method handle_reset_initial : unit task
   method raw_coq_query : string -> unit task
   method show_goals : unit task
   method backtrack_last_phrase : unit task
-- 
cgit v1.2.3