From 70d3abea45c00e0ee6394941e020bb63bc070d8e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 7 Sep 2009 08:52:00 +0000 Subject: Fix typos --- generic/pg-pgip.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic/pg-pgip.el') 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 @@ -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! )) -- cgit v1.2.3