From e8eec36fa76ce261312e1f736eb8597d852a70ce Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Jan 2012 08:59:32 +0000
Subject: make sure extra modes available

---
 generic/proof-easy-config.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index c0f76532..da3b9c7f 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -12,6 +12,7 @@
 ;;
 
 (require 'proof-site)			; proof-assistant, proof-assistant-symbol
+(require 'proof-auxmodes)		; make sure extra modes available
 
 (defconst proof-easy-config-derived-modes-table
   '((""         "script"     proof-mode (proof-config-done))
-- 
cgit v1.2.3