diff options
Diffstat (limited to 'abstract/nonrelational.ml')
| -rw-r--r-- | abstract/nonrelational.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/abstract/nonrelational.ml b/abstract/nonrelational.ml index bbdc875..6497760 100644 --- a/abstract/nonrelational.ml +++ b/abstract/nonrelational.ml @@ -104,11 +104,7 @@ module ND (V : VALUE_DOMAIN) : NUMERICAL_ENVIRONMENT_DOMAIN = struct let eq a b = match a, b with | Bot, Bot -> true | Env m, Env n -> - VarMap.for_all2o - (fun _ _ -> false) - (fun _ _ -> false) - (fun _ a b -> a = b) - m n + VarMap.equal (=) m n | _ -> false (* Apply some formula to the environment *) |