From c1e4836cd21b5707af927a916350e82c9fa7de11 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Mon, 30 Jun 2014 12:22:31 +0200
Subject: Reached interesting point in BDD implementation.

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

(limited to 'abstract/apron_domain.ml')

diff --git a/abstract/apron_domain.ml b/abstract/apron_domain.ml
index 7a823db..45803fc 100644
--- a/abstract/apron_domain.ml
+++ b/abstract/apron_domain.ml
@@ -71,6 +71,7 @@ module ND : NUMERICAL_ENVIRONMENT_DOMAIN = struct
       Abstract1.top manager (v_env vars)
     let bottom vars = Abstract1.bottom manager (v_env vars)
     let is_bot = Abstract1.is_bottom manager
+    let is_top = Abstract1.is_top manager
 
     let forgetvar x id =
         let v = [| Var.of_string id |] in
-- 
cgit v1.2.3