Moved proof-file-to-buffer to proof-script.el

2 files changed, 11 insertions, 11 deletions

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 25b55f34..967d3073 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -298,6 +298,17 @@ to allow other files loaded by proof assistants to be marked read-only."
   "Returns the true name of the file FILENAME or nil."
   (and filename (file-exists-p filename) (file-truename filename)))
 
+(defun proof-file-to-buffer (filename)
+  "Converts a FILENAME  into a buffer name"
+  (let* ((buffers (buffer-list))
+	 (pos
+	  (position (file-truename filename)
+		    (mapcar 'proof-file-truename
+			    (mapcar 'buffer-file-name
+				    buffers))
+		    :test 'equal)))
+    (and pos (nth pos buffers))))
+
 (defun proof-register-possibly-new-processed-file (file)
   "Register a possibly new FILE as having been processed by the prover."
   (let* ((cfile (file-truename file))
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index de92f427..fb4a5e2e 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -671,17 +671,6 @@ arrive."
       (font-lock-append-text-property start (point-max) 'face face)
       (insert "\n"))))
 
-(defun proof-file-to-buffer (filename)
-  "Converts a FILENAME  into a buffer name"
-  (let* ((buffers (buffer-list))
-	 (pos
-	  (position (file-truename filename)
-		    (mapcar 'proof-file-truename
-			    (mapcar 'buffer-file-name
-				    buffers))
-		    :test 'equal)))
-    (and pos (nth pos buffers))))
-
 (defun proof-files-to-buffers (filenames)
   "Converts a list of FILENAMES into a list of BUFFERS."
   (if (null filenames) nil