diff options
| author | Kathy Gray | 2016-03-16 15:40:28 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-03-16 15:40:28 +0000 |
| commit | fe6e2c0a026f063876203ff73594e45fc80d555f (patch) | |
| tree | 7e275576026419ea7ff01cc8009b3547abdf7caa /src | |
| parent | 3bb80a4742ea2a3868e1f2d8126bbc1cf87d93f5 (diff) | |
more small fixes
Diffstat (limited to 'src')
| -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 |