From 93d924bb1017dc26a9735801e1b7f8b7a3f4ef2c Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 30 Jul 2014 15:45:28 +0200
Subject: Refactor some stuff (this code sould be re-read.)

---
 abstract/enum_domain_edd.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'abstract/enum_domain_edd.ml')

diff --git a/abstract/enum_domain_edd.ml b/abstract/enum_domain_edd.ml
index 3e03d59..ed13798 100644
--- a/abstract/enum_domain_edd.ml
+++ b/abstract/enum_domain_edd.ml
@@ -150,8 +150,10 @@ module EDD : ENUM_ENVIRONMENT_DOMAIN = struct
 
     (*
       is_bot : t -> bool
+      is_top : t -> bool
     *)
     let is_bot x = (x.root = DBot)
+    let is_top x = (x.root = DTop)
 
     (*
       vars : t -> (id * item list) list
-- 
cgit v1.2.3