diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
commit | b30f353c2ea9f514d7ab6bf821a7919adf62143a (patch) | |
tree | 9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/proof-syntax.el | |
parent | 559426016c112b6147fe82582c6479521b0fab6a (diff) |
Clean whitespace
Diffstat (limited to 'generic/proof-syntax.el')
-rw-r--r-- | generic/proof-syntax.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index bd36a7d3..7333a935 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -1,7 +1,7 @@ ;; proof-syntax.el Functions for dealing with syntax ;; -;; Copyright (C) 1997-2001 LFCS Edinburgh. -;; Authors: David Aspinall, Healfdene Goguen, +;; Copyright (C) 1997-2001 LFCS Edinburgh. +;; Authors: David Aspinall, Healfdene Goguen, ;; Thomas Kleymann, Dilip Sequiera ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -111,7 +111,7 @@ nil if a region cannot be found." "Default function for `proof-looking-at-syntactic-context'." (or (proof-buffer-syntactic-context) - (save-match-data + (save-match-data (when (proof-looking-at-safe proof-script-comment-start-regexp) 'comment)) (save-match-data (when (proof-looking-at-safe proof-string-start-regexp) 'string)))) @@ -278,7 +278,7 @@ Any other %-prefixed character inserts itself." "Splice SEP into list of STRINGS, ignoring nil entries." (let (stringsep) (while strings - (when (car strings) ; suppress nils + (when (car strings) ; suppress nils (setq stringsep (concat stringsep (car strings))) (if (and (cdr strings) (cadr strings)) (setq stringsep |