From c4a24372b70180f23b7a56a81533e86ebb8509e7 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 1 Jun 2014 11:40:43 +0200
Subject: Fix assertions ; fix environment equality test ; fix varialbe
 removal.

---
 abstract/environment_domain.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'abstract/environment_domain.ml')

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
-- 
cgit v1.2.3