Fixed parenthesis matching to deal with comments

1 files changed, 1 insertions, 0 deletions

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)