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/nonrelational.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'abstract/nonrelational.ml')

diff --git a/abstract/nonrelational.ml b/abstract/nonrelational.ml
index aa34d14..188c8bc 100644
--- a/abstract/nonrelational.ml
+++ b/abstract/nonrelational.ml
@@ -110,7 +110,7 @@ module NonRelational (V : VALUE_DOMAIN) : ENVIRONMENT_DOMAIN = struct
         | Env m, Env n ->
             VarMap.for_all2o
                 (fun _ _ -> true)
-                (fun _ _ -> true)
+                (fun _ v -> v = V.top)
                 (fun _ a b -> V.subset a b)
                 m n
         
-- 
cgit v1.2.3