diff --git a/setup.ml b/setup.ml
index 06def7f5a..94e31c7ed 100644
--- 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,8 +7657,7 @@ 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
@@ -7666,6 +7665,6 @@ let setup_t =
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 7670 "setup.ml"
+# 7669 "setup.ml"
 (* OASIS_STOP *)
 let () = setup ();;