From ece7d39203c551454c29d7da95ab3a7714bb2d77 Mon Sep 17 00:00:00 2001
From: Sebastian Graf <sebastian.graf@kit.edu>
Date: Sun, 4 Feb 2024 12:30:35 +0100
Subject: [PATCH] Fix bootstrapped parser

---
 packages/frontend/src/Happy/Frontend/Parser/Bootstrapped.ly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/frontend/src/Happy/Frontend/Parser/Bootstrapped.ly b/packages/frontend/src/Happy/Frontend/Parser/Bootstrapped.ly
index 2fc315e3..006a72e2 100644
--- a/packages/frontend/src/Happy/Frontend/Parser/Bootstrapped.ly
+++ b/packages/frontend/src/Happy/Frontend/Parser/Bootstrapped.ly
@@ -123,7 +123,7 @@ The parser.
 >       | spec_right ids                { TokenRight $2 }
 >       | spec_left ids                 { TokenLeft $2 }
 >       | spec_expect int               { TokenExpect $2 }
->       | spec_error code code          { TokenError $2 $3 }
+>       | spec_error code optCode       { TokenError $2 $3 }
 >       | spec_errorexpected            { TokenErrorExpected }
 >       | spec_attributetype code       { TokenAttributetype $2 }
 >       | spec_attribute id code        { TokenAttribute $2 $3 }