diff --git a/Packages/Interval_arithmetic/changes.txt b/Packages/Interval_arithmetic/changes.txt
index 305dd5a1d3b..1ef7a142a86 100644
--- a/Packages/Interval_arithmetic/changes.txt
+++ b/Packages/Interval_arithmetic/changes.txt
@@ -1,3 +1,7 @@
+Version 4.172 on 24 July 2003
+- Added the "mixed operators with int" to Interval_nt, Filtered_exact,
+  and Lazy_exact_nt.
+
 Version 4.171 on 24 July 2003
 - CGAL_PROFILER : make it a block scope, so that only one argument is needed.