From 7e2ba7cd47345c8bc6040bfe5267ce537bf52af8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 6 Jan 2000 17:49:01 +0000
Subject: Fixes for short output duplication problem: set
 proof-shell-eager-annotation-start-length.

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 76abab6c..fbd85399 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -502,6 +502,7 @@
         proof-shell-field-char ?\374 ; not done
         proof-shell-goal-char ?\375 ; done
 	proof-shell-eager-annotation-start "\376" ; done
+	proof-shell-eager-annotation-start-length 1
 	proof-shell-eager-annotation-end "\377" ; done
         proof-shell-annotated-prompt-regexp
 	(concat proof-shell-prompt-pattern
-- 
cgit v1.2.3