From f244aa6034da3ddca6bd909870ab865f763152e2 Mon Sep 17 00:00:00 2001
From: Jihyeok Park <jihyeok_park@korea.ac.kr>
Date: Sat, 27 May 2023 22:20:11 +0900
Subject: [PATCH] Fixed bugs in Spec parser for terminals (#145)

---
 src/main/scala/esmeta/spec/util/Parser.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/esmeta/spec/util/Parser.scala b/src/main/scala/esmeta/spec/util/Parser.scala
index 07eb9d1105..78ef2d7620 100644
--- a/src/main/scala/esmeta/spec/util/Parser.scala
+++ b/src/main/scala/esmeta/spec/util/Parser.scala
@@ -88,7 +88,7 @@ trait Parsers extends LangParsers {
 
   /** terminals */
   lazy val term: Parser[Terminal] = {
-    "`[^`]+`|```".r ^^ {
+    "`[^`]+`|`[`]+`".r ^^ {
       case str =>
         Terminal(str.substring(1, str.length - 1))
     }