From 178af15dde9d6feed372016294914b0713db32b3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 14:39:16 +0000
Subject: added FIXME note on maybe using regexp-opt

---
 generic/proof-syntax.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index e9c2e707..d4bfb137 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -10,6 +10,8 @@
 (require 'font-lock)
 (require 'proof-config)
 
+;; FIXME da: would regexp-opt be better here?  Or maybe
+;;  (concat "\\<" (regexp-opt l) "\\>")
 (defun proof-ids-to-regexp (l)
   "transforms a non-empty list of identifiers `l' into a regular
   expression matching any of its elements"
-- 
cgit v1.2.3