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-syntax.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 1c86e6f5..4ca8b9fe 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -1,4 +1,4 @@
-;; proof-syntax.el	Functions for dealing with syntax
+;; proof-syntax.el --- Functions for dealing with syntax
 ;;
 ;; Copyright (C) 1997-2001 LFCS Edinburgh.
 ;; Authors:   David Aspinall, Healfdene Goguen,
@@ -17,8 +17,8 @@
 (defsubst proof-ids-to-regexp (l)
   "Maps a non-empty list of tokens `l' to a regexp matching any element.
 Uses a regexp of the form \\_<...\\_>."
-  (concat "\\_<\\(?:" 
-	  (regexp-opt l) ; was: (mapconcat 'identity l "\\|") 
+  (concat "\\_<\\(?:"
+	  (regexp-opt l) ; was: (mapconcat 'identity l "\\|")
 	  "\\)\\_>"))
 
 (defsubst proof-anchor-regexp (e)
-- 
cgit v1.2.3