From bf443eef05580de57fbd5ebfc72b21ab5cf98a8e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 15:08:56 +0000
Subject: proof-files-to-buffers, proof-locate-executable: simplify
 proof-file-to-buffer: use find-buffer-visiting instead
 proof-looking-at-syntactic-context: moved here from proof-syntax for
 compilation

---
 generic/pg-user.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'generic')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 5f0f741e..ef69be7c 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -131,7 +131,6 @@ If inside a comment, just process until the start of the comment."
    (forward-char 1)
    (proof-assert-until-point)
    (goto-char (proof-queue-or-locked-end))
-   (message "Gone to %d" (point))
    (proof-script-next-command-advance)))
 
 ;; NB: "interactive" variant merely for simple docstring.
-- 
cgit v1.2.3