From e7af676d982c0c3fd08b4a2acedf59568f1dbf2b Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Mon, 7 Jan 2002 15:15:20 +0000
Subject: [PATCH] Bump for 4.126 ( 7 Jan 2002)

---
 Packages/Interval_arithmetic/version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Packages/Interval_arithmetic/version b/Packages/Interval_arithmetic/version
index 0685e390fe9..9e539b65521 100644
--- a/Packages/Interval_arithmetic/version
+++ b/Packages/Interval_arithmetic/version
@@ -1 +1 @@
-4.125 (19 Dec 2001)
+4.126 ( 7 Jan 2002)