From e2002e81ce365a5c726bc6d7ecd6aed28c2f3acb Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 23 May 2014 00:43:07 +0200
Subject: [PATCH] oasis files

---
 setup.ml | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/setup.ml b/setup.ml
index 0e239dd4..acefc98b 100644
--- a/setup.ml
+++ b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.4 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 5f80fb20c64a544367659040be09908f) *)
+(* DO NOT EDIT (digest: 78058340d0a14266a99c9216440367bb) *)
 (*
    Regenerated by OASIS v0.4.4
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7522,9 +7522,7 @@ let setup_t =
                            (OASISExpr.EFlag "tests", false);
                            (OASISExpr.EAnd
                               (OASISExpr.EFlag "tests",
-                                OASISExpr.EAnd
-                                  (OASISExpr.EFlag "tests",
-                                    OASISExpr.EFlag "lwt")),
+                                OASISExpr.EFlag "tests"),
                              true)
                         ];
                       test_tools =
@@ -7593,7 +7591,7 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.4";
-     oasis_digest = Some "\208\135\146\229\213g\015Y2\180\215\211H\239\2007";
+     oasis_digest = Some "&\163\185\217A\246D\015Z\230\255\177X*\186\157";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
@@ -7601,6 +7599,6 @@ let setup_t =
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 7605 "setup.ml"
+# 7603 "setup.ml"
 (* OASIS_STOP *)
 let () = setup ();;