From e76a829f1d45b52bff9d9351fdeaa354aafffde7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:57:27 +0000
Subject: Fixed coq-interrupt-regexp.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index ef3f5a8d..2aa751a9 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -41,7 +41,7 @@
   :type 'string
   :group 'coq)
 
-(defconst coq-interrupt-regexp "Interrupted"
+(defconst coq-interrupt-regexp "User Interrupt."
   "Regexp corresponding to an interrupt")
 
 (defcustom coq-default-undo-limit 100
-- 
cgit v1.2.3