From 61f2c86cb46ed6273fff026ab63aa2697c74fba7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 11 Sep 2002 21:44:23 +0000
Subject: Fix typo.

---
 generic/pg-goals.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index 5b2e88de..45a3b8a0 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -105,7 +105,7 @@ and properly fontifies STRING using proof-fontify-region."
     (erase-buffer)
     ;; Only bother processing and displaying, etc, if string is
     ;; non-empty.
-    (unless (string-equals string "")
+    (unless (string-equal string "")
       (insert string)
 
       (if pg-use-specials-for-fontify
-- 
cgit v1.2.3