summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Changes1
1 files changed, 0 insertions, 1 deletions
diff --git a/Changes b/Changes
index 3985dc3f9..892f2125d 100644
--- a/Changes
+++ b/Changes
@@ -8,7 +8,6 @@ New features:
- camlp4: install argl.* files (PR#3439)
- ocamldoc: add -man-section option
- labltk: add the "solid" relief option (PR#3343)
-- compiler: ocamlc -i now prints variance annotations
Bug fixes:
- typing: fix unsoundness in type declaration variance inference.