From cfff5f3e4683486fae85cf58cf65479215b64234 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 15:41:42 +0000
Subject: Removed setq proof-assistant

---
 lego/lego.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lego/lego.el b/lego/lego.el
index 5b830042..ea4a51f2 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -11,7 +11,6 @@
 
 (require 'lego-syntax)
 (require 'outline)
-(setq proof-assistant "LEGO")
 (require 'proof)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3