From f5cc3f8dc9dc1202bf79b9a18a5f404cefae68d1 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Mon, 12 Jun 2000 15:47:58 +0000
Subject: [PATCH] - Bump for 4.46.

---
 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 2fd911f71e0..c85d66d4d31 100644
--- a/Packages/Interval_arithmetic/version
+++ b/Packages/Interval_arithmetic/version
@@ -1 +1 @@
-4.45 (11 Jun 2000)
+4.46 (12 Jun 2000)