summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changes b/Changes
index ea4ccf1ae..fc5ab111e 100644
--- a/Changes
+++ b/Changes
@@ -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