From 2cbaba6f00d40d5c6c9659678d0156f14b7e3780 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Fri, 4 Jul 2014 11:10:13 +0200
Subject: Use LAST instead of NEXT (only EDD implementation works at the
 moment)

---
 abstract/abs_interp.ml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'abstract/abs_interp.ml')

diff --git a/abstract/abs_interp.ml b/abstract/abs_interp.ml
index c3db657..26b788b 100644
--- a/abstract/abs_interp.ml
+++ b/abstract/abs_interp.ml
@@ -2,17 +2,12 @@ open Ast
 open Ast_util
 open Formula
 open Typing
+open Cmdline
 
 open Util
 open Num_domain
 open Enum_domain
 
-type cmdline_opt = {
-    widen_delay       : int;
-    disjunct          : (id -> bool);
-    verbose_ci        : bool;
-    vverbose_ci       : bool;
-}
 
 
 module I (ED : ENUM_ENVIRONMENT_DOMAIN) (ND : NUMERICAL_ENVIRONMENT_DOMAIN) : sig
-- 
cgit v1.2.3