regenerate oasis

Author: rgrinberg

setup.ml

@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.5 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 2e35ac128c56cef7400e263bb79c4362) *)
+(* DO NOT EDIT (digest: d6d8fa16f2e6190051b8ee9bec2e6d3d) *)
 (*
    Regenerated by OASIS v0.4.5
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6950,7 +6950,7 @@ let setup_t =
                    {
                       flag_description =
                         Some "enable compilation of cli utility";
-                      flag_default = [(OASISExpr.EBool true, true)]
+                      flag_default = [(OASISExpr.EBool true, false)]
                    });
                Test
                  ({
@@ -7049,14 +7049,15 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.5";
-     oasis_digest = Some "N\020%3^r³dÂÒ¹\158-îhU";
+     oasis_digest =
+       Some "\171[F\254\198\240\243\135\205\162\0217\242\225\209^";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
   };;
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 7061 "setup.ml"
+# 7062 "setup.ml"
 (* OASIS_STOP *)
 let () = setup ();;