From a30fa47b4272f8c79948b741f7c388dad53c8eea Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 28 May 2014 16:45:46 +0200
Subject: RETAB, CLEANUP

---
 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 39095b0..aa34d14 100644
--- a/abstract/nonrelational.ml
+++ b/abstract/nonrelational.ml
@@ -82,7 +82,7 @@ module NonRelational (V : VALUE_DOMAIN) : ENVIRONMENT_DOMAIN = struct
                 | _ ->
                     let v1, v2 = eval env e1, eval env e2 in
                     let v1', v2' = f v1 v2 in
-                    if V.bottom = v1' ||V.bottom = v2'
+                    if V.bottom = v1' || V.bottom = v2'
                         then Bot
                         else Env env)
             x
-- 
cgit v1.2.3