From 652d04c5476fdfb9cc7a2d93de3df4d76a6882ce Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 1 Jun 2014 10:06:35 +0200
Subject: =?UTF-8?q?Impl=C3=A9mentation=20des=20intervalles=20;=20d=C3=A9bu?=
 =?UTF-8?q?t=20r=C3=A9daction=20du=20rapport.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 abstract/interpret.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'abstract/interpret.ml')

diff --git a/abstract/interpret.ml b/abstract/interpret.ml
index cb32e22..f6a6cb4 100644
--- a/abstract/interpret.ml
+++ b/abstract/interpret.ml
@@ -73,7 +73,6 @@ module Make (E : ENVIRONMENT_DOMAIN) = struct
                 (binop AST_OR (binop AST_LESS e1 e2) (binop AST_LESS e2 e1))
                 env
 
-
         | _ -> env
         end
 
-- 
cgit v1.2.3