diff options
Diffstat (limited to 'src/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index 3de9b4f4..c00287e0 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -942,7 +942,7 @@ let_def: val_spec_def: | Val id Colon typschm - { mk_vs (VS_val_spec ($4, $2)) $startpos $endpos } + { mk_vs (VS_val_spec ($4, $2, None, false)) $startpos $endpos } register_def: | Register id Colon typ |