From dbdedf9129d328ac78919a911e0684dd7152f1f4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 11 Oct 2010 00:38:40 +0000
Subject: Use parser cache by default.

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

(limited to 'generic')

diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index 6d4fde2a..1a141741 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -267,7 +267,7 @@ This is only useful for PG developers."
   :type 'boolean
   :group 'proof-user-options)
 
-(defcustom proof-use-parser-cache nil
+(defcustom proof-use-parser-cache t
   "*Non-nil to use a simple parsing cache.
 This can be helpful when editing and reprocessing large files.
 This variable exists to disable the cache in case of problems."
-- 
cgit v1.2.3