From 0a42eb29804f7e384a6f1c406b8811c8a50a4692 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:17:40 +0000
Subject: Begun work on clean byte compilation / clarifying interfaces.

---
 lego/lego.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lego')

diff --git a/lego/lego.el b/lego/lego.el
index f0564857..2ea0594e 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -9,9 +9,11 @@
 ;; $Id$
 ;;
 
+(require 'proof)
 (require 'lego-syntax)
+
+;; FIXME: outline should be autoloaded
 (require 'outline)
-(require 'proof)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; User Configuration ;;;
-- 
cgit v1.2.3