From 6ea3ad433fb8fe79eac4b113670486b1e5930ea5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2000 18:09:08 +0000
Subject: Removed proof-script-indent check.

---
 generic/proof-script.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index d6e8472c..a2f42b92 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2673,8 +2673,7 @@ finish setup which depends on specific proof assistant configuration."
   (setq proof-electric-terminator proof-electric-terminator-enable)
 
   (make-local-variable 'indent-line-function)
-  (if proof-script-indent
-      (setq indent-line-function 'proof-indent-line))
+  (setq indent-line-function 'proof-indent-line)
 
   ;; Toolbar and scripting menu
   ;; NB: autloads proof-toolbar, which defines proof-toolbar-scripting-menu.
-- 
cgit v1.2.3