summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2011-11-29 15:55:49 +0000
committerDamien Doligez <damien.doligez-inria.fr>2011-11-29 15:55:49 +0000
commit8b700ead507ba7fd33c0ba01ec3efb40c984e7f4 (patch)
tree6dc3cb8b0f8ff9efcb2296ac527ce5b388ae1152
parent456473d87f09d1a4bc661ff7e328e2b806459ff2 (diff)
better reporting of wrong version for .cmi files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--Changes1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changes b/Changes
index 1ff85042c..250408cb9 100644
--- a/Changes
+++ b/Changes
@@ -16,6 +16,7 @@ Language features:
Compilers:
- Revised simplification of let-alias (PR#5205, PR#5288)
+- Better reporting of compiler version mismatch in .cmi files
Native-code compiler:
- Optimized handling of partially-applied functions (PR#5287)