From f249d8f89389970c848e2e5964f3340adbfd75dc Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 29 May 2000 15:27:57 +0000 Subject: Missing parenthesis --- generic/proof-indent.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-indent.el') diff --git a/generic/proof-indent.el b/generic/proof-indent.el index b93c39f7..f631bc9c 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -101,7 +101,7 @@ (if (not (eq (current-indentation) indent)) (progn (delete-region beg (point)) (indent-to indent))))) - (skip-chars-forward "\t "))) + (skip-chars-forward "\t ")))) ;;;###autoload (defun proof-indent-region (start end) -- cgit v1.2.3