PrismJS
diff --git a/‎components/prism-coq.js
+1-1 b/‎components/prism-coq.js
+1-1
diff --git a/‎components/prism-coq.min.js
+1-1 b/‎components/prism-coq.min.js
+1-1
@@ -17,7 +17,7 @@
 		'attribute': [
 			{
 				pattern: RegExp(
-					/#\[(?:[^\]("]|"(?:[^"]|"")*"(?!")|\((?!\*)|<comment>)*\]/.source
+					/#\[(?:[^\[\]("]|"(?:[^"]|"")*"(?!")|\((?!\*)|<comment>)*\]/.source
 						.replace(/<comment>/g, function () { return commentSource; })
 				),
 				greedy: true,
Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@`
`17`	`17`	`'attribute': [`
`18`	`18`	`{`
`19`	`19`	`pattern: RegExp(`
`20`		`- /#\[(?:[^\]("]\|"(?:[^"]\|"")"(?!")\|\((?!\)\|<comment>)*\]/.source`
	`20`	`+ /#\[(?:[^\[\]("]\|"(?:[^"]\|"")"(?!")\|\((?!\)\|<comment>)*\]/.source`
`21`	`21`	`.replace(/<comment>/g, function () { return commentSource; })`
`22`	`22`	`),`
`23`	`23`	`greedy: true,`