From ff384cc7c99e2f61cd472d9530bf06df3c3582bf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 26 Nov 1998 20:37:41 +0000
Subject: Format fix

---
 generic/proof.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof.el b/generic/proof.el
index 42d3b60c..f50e685a 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -144,7 +144,8 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
       (goto-char (point-max))
       (newline)				
       (setq start (point))
-      (insert str) (setq end (point))
+      (insert str) 
+      (setq end (point))
       (save-excursion
 	(font-lock-set-defaults)		;required for FSF Emacs 20.2
 	(font-lock-fontify-region start end)
-- 
cgit v1.2.3