diff options
Diffstat (limited to 'abstract/nonrelational.ml')
| -rw-r--r-- | abstract/nonrelational.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |