diff options
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -33,6 +33,7 @@ Bug fixes: - PR#5784: -dclambda option is ignored - PR#5787: Bad behavior of 'Unused ...' warnings in the toplevel - PR#5770: Syntax error messages involving unclosed parens are sometimes incorrect +- PR#5805: Assert failure with warning 34 on pre-processed file Internals: - Moved debugger/envaux.ml to typing/envaux.ml to publish env_of_only_summary |