From d6ff63eac2e02856b2031aafb23a75f17256b631 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>
Date: Mon, 2 Nov 1998 12:41:30 +0000
Subject: fixed minor bugs

---
 lego/lego.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lego')

diff --git a/lego/lego.el b/lego/lego.el
index a1c5b234..72b81f0b 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -11,6 +11,8 @@
 
 (require 'proof)
 (require 'proof-script)
+
+;;FIXME: proof-shell should be autoloaded
 (require 'proof-shell)
 (require 'lego-syntax)
 
-- 
cgit v1.2.3