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)

---
 cmdline.ml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 cmdline.ml

(limited to 'cmdline.ml')

diff --git a/cmdline.ml b/cmdline.ml
new file mode 100644
index 0000000..b8f8ea8
--- /dev/null
+++ b/cmdline.ml
@@ -0,0 +1,8 @@
+open Ast
+
+type cmdline_opt = {
+    widen_delay       : int;
+    disjunct          : (id -> bool);
+    verbose_ci        : bool;
+    vverbose_ci       : bool;
+}
-- 
cgit v1.2.3