Coq: Improved attribute pattern performance (#3085)

PrismJS · Sep 26, 2021 · 2f9672a · 2f9672a
1 parent 233415b
commit 2f9672a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/components/prism-coq.js b/components/prism-coq.js
@@ -17,7 +17,7 @@
 		'attribute': [
 			{
 				pattern: RegExp(
-					/#\[(?:[^\]("]|"(?:[^"]|"")*"(?!")|\((?!\*)|<comment>)*\]/.source
+					/#\[(?:[^\[\]("]|"(?:[^"]|"")*"(?!")|\((?!\*)|<comment>)*\]/.source
 						.replace(/<comment>/g, function () { return commentSource; })
 				),
 				greedy: true,

diff --git a/components/prism-coq.min.js b/components/prism-coq.min.js