diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-11-06 16:53:04 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-11-06 16:53:04 +0000 |
| commit | 961982c7e05a31e247ea35e876997199fa75a051 (patch) | |
| tree | 4b16c6994d44e67c9d740f2ab5e86b0ee5169793 | |
| parent | 86bd40310d39aacd598981014cbcb75ad052c0a3 (diff) | |
#5805: Changes file.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |