From 0a05713e408d1451b3a49a6aed55d52cca2f6dd9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 12:22:23 +0000
Subject: Turn on proof-general-debug.  Missing require

---
 lib/pg-dev.el | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/pg-dev.el')

diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 22aba6e5..95cb9234 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -14,8 +14,13 @@
 
 ;;; Code:
 
+(require 'whitespace)
+
+(setq proof-general-debug t)
+
 ;; Use checkdoc, eldoc, Flyspell, whitespace cleanup:
 
+
 (add-hook 'emacs-lisp-mode-hook
 	  '(lambda ()
 	     (checkdoc-minor-mode 1)
-- 
cgit v1.2.3