sync oasis

mirage · Mar 4, 2015 · 78124d5 · 78124d5
1 parent d8bd4af
commit 78124d5
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/setup.ml b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.5 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: e19c1551baf2d1bbee3584bdd4b93b94) *)
+(* DO NOT EDIT (digest: 42e4e7cf436688bf14beec25b4787822) *)
 (*
    Regenerated by OASIS v0.4.5
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7657,15 +7657,14 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.5";
-     oasis_digest =
-       Some "rM\151\245\231\138\162t\127\006\016\215\238\188\199\128";
+     oasis_digest = Some "rM\151õç\138¢t\127\006\016×î¼Ç\128";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
   };;
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 7670 "setup.ml"
+# 7669 "setup.ml"
 (* OASIS_STOP *)
 let () = setup ();;