From f9139d191a90480091bdf92a06a2db42edf3ab24 Mon Sep 17 00:00:00 2001
From: Glenn Rice <grice1@missouriwestern.edu>
Date: Tue, 15 Oct 2024 08:23:12 -0500
Subject: [PATCH] Fix an incorrect node name in the PGML highlighting.

---
 src/pgml.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pgml.ts b/src/pgml.ts
index 01d25b1..ee56215 100644
--- a/src/pgml.ts
+++ b/src/pgml.ts
@@ -412,7 +412,7 @@ export const pgmlHighlighting = styleTags({
     'AlignMark CodeMark EmphasisMark HeaderMark ImageMark ListMark MathModeMark OptionMark': t.processingInstruction,
     'PreMark PerlCommandMark TableMark TableCellMark TagMark VariableMark VerbatimMark': t.processingInstruction,
     CodeText: t.monospace,
-    CodeInfo: t.labelName,
+    CodeClass: t.labelName,
     HorizontalRule: t.contentSeparator,
     EscapeSequence: t.escape,
     'AnswerRule Image MathMode': t.atom,