From 66beec49a6ae39bce4f6cdf7b7c3874b6a1b12ae Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Mar 2003 10:09:07 +0000
Subject: Only decode x-symbols if enabled globally for prover.

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 59534b38..bc9a1e78 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -425,8 +425,9 @@ Returns new END value."
 	(pg-remove-specials start end)
 	(setq end (point))))
   (prog1
-      ;; Return new end value
-      (proof-x-symbol-decode-region start end)
+      ;; prog1 because we return new END value.
+      (if (proof-ass x-symbol-enable)
+	  (proof-x-symbol-decode-region start end))
     (proof-font-lock-clear-font-lock-vars)))
 
 
-- 
cgit v1.2.3