diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:52:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:52:00 +0000 |
| commit | 70d3abea45c00e0ee6394941e020bb63bc070d8e (patch) | |
| tree | 39a68aa2b7ae186fc5fb689fac9ccc96f8d7b8f6 /generic/pg-pgip.el | |
| parent | d43befb03637f3796e97119fd1167ce1d03a4f4d (diff) | |
Fix typos
Diffstat (limited to 'generic/pg-pgip.el')
| -rw-r--r-- | generic/pg-pgip.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index 0c60ddd2..a32500fe 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -1,4 +1,4 @@ -;; pg-pgip.el --- Functions for g PGIP for Proof General +;; pg-pgip.el --- PGIP manipulation for Proof General ;; ;; Copyright (C) 2000-2002 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> @@ -343,8 +343,8 @@ Return a symbol representing the PGIP command processed, or nil." (defun pg-pgip-process-informfileretracted (node) (let* ((thyname (pg-pgip-get-thyname node)) - (url (pg-pgip-get-url node)) - (filename (pg-pgip-get-url-filename url))) + (url (pg-pgip-get-url node)) + (filename (pg-pgip-file-of-url url))) ;(proof-unregister-possibly-processed-file filename))) ;; unimplemented! )) |