From 4e1fe13b6aa02b2cadae2a490e91973813ca20a4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 00:11:53 +0000
Subject: Bug in thy-add-menus declaration

---
 lclam/lclam.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lclam/lclam.el b/lclam/lclam.el
index 64954742..9e85420b 100644
--- a/lclam/lclam.el
+++ b/lclam/lclam.el
@@ -143,7 +143,7 @@
 
 (defvar thy-mode-map nil)
 
-(defun thy-add-menus 
+(defun thy-add-menus ()
   "Add Proof General and Isabelle menu to current menu bar."  
   (require 'proof-script)    
   (require 'proof-x-symbol)
-- 
cgit v1.2.3