From b22fc5e902eb03c3d24b353561715e4f8d04bd08 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Sun, 29 Oct 2000 17:44:26 +0000
Subject: [PATCH] - Essai

---
 Packages/Interval_arithmetic/TODO | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Packages/Interval_arithmetic/TODO b/Packages/Interval_arithmetic/TODO
index 8d8cece699b..a482f6b899d 100644
--- a/Packages/Interval_arithmetic/TODO
+++ b/Packages/Interval_arithmetic/TODO
@@ -1,4 +1,3 @@
-
 [See also the file TODO_static_filters]
 
 - Implement and DOCUMENT enough for the new to_interval() requirement.