diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-28 16:45:46 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-28 16:45:46 +0200 |
| commit | a30fa47b4272f8c79948b741f7c388dad53c8eea (patch) | |
| tree | e979e7362637ae8d1d44857b29fbd62ce99316e7 /abstract/nonrelational.ml | |
| parent | 77df0b0f119fc70624e4b830320a2b3e1034f7b5 (diff) | |
| download | SemVerif-Projet-a30fa47b4272f8c79948b741f7c388dad53c8eea.tar.gz SemVerif-Projet-a30fa47b4272f8c79948b741f7c388dad53c8eea.zip | |
RETAB, CLEANUP
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 |