emacs-mode: fix hol-mode's handling of open_...

Thanks to Magnus for the bug report.
zaklogician · Jun 12, 2020 · 3ec1bb9 · 3ec1bb9
1 parent b8db52a
commit 3ec1bb9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/hol-mode.src b/tools/hol-mode.src
@@ -483,7 +483,7 @@ starts >%s%s<"
                          hol-quoted-theorem-proof-re-begin "\\|"
                          hol-quoted-definition-re-begin "\\|"
                          "\\(" sml-struct-id-regexp "\\)\\.\\w+" "\\|"
-                         "\\<open\\>")))
+                         "\\_<open\\_>")))
             (while (re-search-forward regexp (point-max) t)
               (let ((pp (syntax-ppss))
                     (ms (match-string-no-properties 0)))