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       "]"