summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 1 insertions, 1 deletions
diff --git a/Changes b/Changes
index dec58f4ad..c6eee36af 100644
--- a/Changes
+++ b/Changes
@@ -23,7 +23,7 @@ Bug Fixes:
- type abbreviations expanding to a universal type variable were not working
correctly during unification
-Objective Caml 3.12.1:
+OCaml 3.12.1:
----------------------
Bug fixes: