From 34ec09678c21b2bf8be501c446ed0778624faa61 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 10 Sep 2009 21:41:39 +0000
Subject: Some fixes to requires etc

---
 phox/phox.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'phox/phox.el')

diff --git a/phox/phox.el b/phox/phox.el
index 4fdf21fe..44ab68b2 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -2,6 +2,7 @@
 
 (require 'proof)			; load generic parts
 
+
 ;; Adjust toolbar entries.  (Must be done before proof-toolbar is
 ;; loaded).
 
-- 
cgit v1.2.3