From 0cc60b96f6f249f3b2637ace6abc1c6f9d6c3181 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Mon, 18 Sep 2000 16:39:35 +0000
Subject: *** empty log message ***

---
 af2/af2-fun.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/af2/af2-fun.el b/af2/af2-fun.el
index 8e253232..5da642a3 100644
--- a/af2/af2-fun.el
+++ b/af2/af2-fun.el
@@ -31,9 +31,10 @@ send a compile command to af2 for the theorem which name is under the cursor."
 )
 
 (defun af2-find-and-forget (span)
-  (let (str ans tmp)
-    (while span
+  (let (str ans tmp (lsp -1))
+    (while span 
       (setq str (proof-remove-comment (span-property span 'cmd)))
+
       (cond
 
        ((eq (span-property span 'type) 'comment))       
@@ -52,6 +53,7 @@ send a compile command to af2 for the theorem which name is under the cursor."
 				      (match-string 2 str)) ans))))
 
 
+      (setq lsp (span-start span))
       (setq span (next-span span 'type)))
 
       (or ans proof-no-command)))
-- 
cgit v1.2.3