From 3563de3849c59f7b97fc9406960629a7258c8a84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Feb 2003 10:38:01 +0000
Subject: Fix some compile errors

---
 generic/proof-script.el | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 56080211..3a8f7167 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1839,10 +1839,9 @@ This version is used when `proof-script-command-end-regexp' is set."
 		;; (FIXME: ignore nested comments here, we should
 		;; have a consistent policy!)
 		(unless
-		    (if (fboundp 'comment-forward)
-			(progn
+		    (if (progn
 			  (goto-char (or (match-end 1) (match-beginning 0)))
-			  (comment-forward))
+			  (forward-comment))
 		    (proof-re-search-forward 
 		     proof-script-comment-end-regexp cmdend t))
 		  (error
@@ -2385,7 +2384,7 @@ with `proof-script-set-buffer-hooks' which is what this function does,
 as well as setting `proof-script-buffer-file-name' (which see).
 
 This hook also gives a warning in case this is the active scripting buffer."
-  (setq proof-script-buffer-file-true buffer-file-name)
+  (setq proof-script-buffer-file-name buffer-file-name)
   (if (eq (current-buffer) proof-script-buffer)
       (proof-warning 
 "Active scripting buffer changed name; synchronization risked if prover tracks filenames!"))
-- 
cgit v1.2.3