From c351224b00a613e5ad866b2292205808e4a56856 Mon Sep 17 00:00:00 2001
From: Dilip Sequiera
Date: Wed, 13 Nov 1996 15:31:14 +0000
Subject: Fixed parenthesis matching to deal with comments

---
 lego.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lego.el b/lego.el
index e6795f1d..fc66c1e4 100644
--- a/lego.el
+++ b/lego.el
@@ -523,6 +523,7 @@
   (modify-syntax-entry ?\* ". 23")
   (modify-syntax-entry ?\( "()1")
   (modify-syntax-entry ?\) ")(4")
+  (setq blink-matching-paren-dont-ignore-comments t)
 
   (proof-config-done)
 
-- 
cgit v1.2.3