From 21e826b7cc3076364d72f6d4e453d4ffffed0982 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 May 2009 08:34:31 +0000
Subject: Cleanup more Emacs compatibility

---
 lib/proof-compat.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index 027bdfce..ef97213c 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -213,6 +213,7 @@ The value returned is the value of the last form in BODY."
       (error nil))))
 
 
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; A naughty hack to completion.el 
-- 
cgit v1.2.3