Fixed coq-interrupt-regexp.

1 files changed, 1 insertions, 1 deletions

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