diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/parser.mly b/src/parser.mly index 6344db97..66902953 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -319,12 +319,6 @@ kid: | TyVar { mk_kid $1 $startpos $endpos } -kid_list: - | kid - { [$1] } - | kid kid_list - { $1 :: $2 } - num_list: | Num { [$1] } |