From 097f3795555b5d203d8803f0a55ab1101f5bf5a8 Mon Sep 17 00:00:00 2001
From: Dilip Sequiera
Date: Thu, 16 Oct 1997 13:14:32 +0000
Subject: Merged Coq changes with main branch.

---
 coq.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq.el b/coq.el
index 98ae7d49..76589f43 100644
--- a/coq.el
+++ b/coq.el
@@ -3,8 +3,8 @@
 ;; Author: Healfdene Goguen and Thomas Kleymann
 
 ;; $Log$
-;; Revision 1.3  1997/10/16 13:13:40  djs
-;; Merged Coq changes onto main branch
+;; Revision 1.4  1997/10/16 13:14:32  djs
+;; Merged Coq changes with main branch.
 ;;
 ;; Revision 1.2  1997/10/13 17:12:48  tms
 ;; *** empty log message ***
@@ -273,7 +273,7 @@
 			  (match-string 2 str) proof-terminal-string))))
 
 
-      (setq sext (next-span ext 'type)))
+      (setq sext (next-span sext 'type)))
 
       (or ans "COMMENT")))
 
-- 
cgit v1.2.3