--- a/ThirdParty/Pygments/pygments/lexers/grammar_notation.py	Sat Jan 12 12:11:42 2019 +0100
+++ b/ThirdParty/Pygments/pygments/lexers/grammar_notation.py	Sat Jan 12 12:40:14 2019 +0100
@@ -158,7 +158,7 @@
             (r'//.*', Comment.Single),
         ],
         'non-comments': [
-            ('\A#JSGF[^;]*', Comment.Preproc),
+            (r'\A#JSGF[^;]*', Comment.Preproc),
             (r'\s+', Text),
             (r';', Punctuation),
             (r'[=|()\[\]*+]', Operator),