From 86dbe3337197741d0ceaea740cbbd3e8b9b1dfe1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Wed, 23 Aug 2017 01:57:29 +0200
Subject: Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.

We let the user choose the most appropriate action to do if coqtop decides
to go berserk.
---
 ide/coq.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/coq.mli')

diff --git a/ide/coq.mli b/ide/coq.mli
index 5d9648603..463dd134a 100644
--- a/ide/coq.mli
+++ b/ide/coq.mli
@@ -170,3 +170,4 @@ val check_connection : string list -> unit
     may terminate coqide in case of trouble *)
 
 val interrupter : (int -> unit) ref
+val save_all : (unit -> unit) ref
-- 
cgit v1.2.3