From 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Aug 2010 13:42:31 +0000
Subject: Checkdoc cleanups

---
 generic/proof-faces.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-faces.el')

diff --git a/generic/proof-faces.el b/generic/proof-faces.el
index e689f051..7fe80ea7 100644
--- a/generic/proof-faces.el
+++ b/generic/proof-faces.el
@@ -17,7 +17,7 @@
 ;;
 ;; But it's difficult to keep track of all that!
 ;; Please report any bad/failing colour
-;; combinations (with suggested improvements) at 
+;; combinations (with suggested improvements) at
 ;; http://proofgeneral.inf.ed.ac.uk/trac
 ;;
 ;; Some of these faces aren't used by default in Proof General,
@@ -108,7 +108,7 @@ Exactly what uses this face depends on the proof assistant."
 
 (defface proof-error-face
   (proof-face-specs
-   (:background "rosybrown1") ; a drab version of misty rose 
+   (:background "rosybrown1") ; a drab version of misty rose
    (:background "brown")
    (:bold t))
   "*Face for error messages from proof assistant."
-- 
cgit v1.2.3