From c31d4fc15cf3072e70d928376ff88143bb1c2302 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 15 Jul 2005 12:08:30 +0000
Subject: Missing proof-compat in proof-splash

---
 generic/proof-splash.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic/proof-splash.el')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 2e7a084d..19bc314c 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -8,6 +8,8 @@
 ;;
 ;;
 
+(require 'proof-compat)			;; for Emacs version flags
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Customization of splash screen (was in proof-config)
 
-- 
cgit v1.2.3