1 files changed, 2 insertions, 2 deletions
diff --git a/lego.el b/lego.el
index 38041615..4491b7fe 100644
--- a/lego.el
+++ b/lego.el
@@ -4,7 +4,7 @@
 ;; code.
 
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
-;; Time-stamp: <05 Nov 96 tms /home/tms/elisp/lego.el>
+;; Time-stamp: <10 Nov 96 tms /home/tms/elisp/lego.el>
 ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall,
 ;;           James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens  
 
@@ -110,7 +110,7 @@
 
 (defvar lego-outline-regexp 
   (ids-to-regexp 
-   '("*" "Discharge" "Freeze" "Goal" "Module" "[" "Record" "Inductive" 
+   '("\\*" "Discharge" "Freeze" "Goal" "Module" "\\[" "Record" "Inductive" 
      "Unfreeze")))
 
 (defvar lego-outline-heading-end-regexp ";\\|\\*)")