diff options
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,6 +12,7 @@ Bug fixes: - PR#5695: remove warnings on sparc code emitter - PR#5697: better location for warnings on statement expressions - PR#5698: remove harcoded limit of 200000 labels in emitaux.ml +- PR#4762: ?? is not used at all, but registered as a lexer token Internals: - Moved debugger/envaux.ml to typing/envaux.ml to publish env_of_only_summary |