From 09be0505b957ff1285713a67e07cb1e0ec8fe38d Mon Sep 17 00:00:00 2001
From: liweijian <liweijian@idea.edu.cn>
Date: Mon, 30 Oct 2023 11:15:05 +0800
Subject: [PATCH] update syntax

---
 parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parser.mly b/parser.mly
index 974c3d81..f05f3f7a 100644
--- a/parser.mly
+++ b/parser.mly
@@ -44,7 +44,7 @@ open Parser_util
 %token COLONCOLON      "::"
 %token COLON           ":"
 %token COLONEQUAL      ":="
-%token SEMI
+%token <bool>SEMI
 %token LBRACKET        "["
 %token PLUS           "+"
 %token RBRACKET       "]"