From e338b3dee111f5dabc96a274ebb4d75452a83661 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 18 Dec 1998 18:34:52 +0000
Subject: Missing bracket.

---
 generic/proof-x-symbol.el | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 29796e70..e4e3df33 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -47,9 +47,11 @@ inside your Emacs."
     (if enable
 	;; Turn it on
 	(progn
-	  (add-hook 'proof-shell-insert-hook 'proof-x-symbol-encode-shell-input))
+	  (add-hook 'proof-shell-insert-hook
+		    'proof-x-symbol-encode-shell-input))
       ;; Turn it off
-      (remove-hook  'proof-shell-insert-hook 'proof-x-symbol-encode-shell-input))
+      (remove-hook  'proof-shell-insert-hook
+		    'proof-x-symbol-encode-shell-input))
 
     (setq proof-x-symbol-support-on enable)))
 
@@ -67,8 +69,7 @@ No action if proof-x-symbol-support-on is nil."
       (save-restriction
 	(narrow-to-region start end)
 	(x-symbol-decode-all)
-	(unless (featurep 'mule) (x-symbol-nomule-fontify-cstrings))
-	))
+	(unless (featurep 'mule) (x-symbol-nomule-fontify-cstrings)))))
 
 
 (defun proof-x-symbol-encode-shell-input ()
-- 
cgit v1.2.3