summaryrefslogtreecommitdiffstats
path: root/abstract/environment_domain.ml
diff options
context:
space:
mode:
Diffstat (limited to 'abstract/environment_domain.ml')
-rw-r--r--abstract/environment_domain.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/abstract/environment_domain.ml b/abstract/environment_domain.ml
index 404548c..b2d18c4 100644
--- a/abstract/environment_domain.ml
+++ b/abstract/environment_domain.ml
@@ -25,6 +25,7 @@ module type ENVIRONMENT_DOMAIN = sig
(* order *)
val subset : t -> t -> bool
+ val eq : t -> t -> bool
(* pretty-printing *)
val var_str : t -> id list -> string