diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index 6ecffd68..8868340d 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -1247,7 +1247,7 @@ def: | type_def { dloc (DEF_type($1)) } | ktype_def - { assert false } + { dloc (DEF_kind($1)) } | fun_def { dloc (DEF_fundef($1)) } | letbind |