Update autogen files

mirage · Oct 19, 2015 · 4be49ab · 4be49ab
1 parent ba3b42a
commit 4be49ab
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/lib_runtime/mirage-runtime.mldylib b/lib_runtime/mirage-runtime.mldylib
@@ -1,4 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 018f6ea25963c77a7f65da274045b8b2)
+# DO NOT EDIT (digest: 90cd4ed4daa09207d0dfb6d4ce417c82)
 Mirage_runtime
+Mirage_info
 # OASIS_STOP
diff --git a/lib_runtime/mirage-runtime.mllib b/lib_runtime/mirage-runtime.mllib
@@ -1,4 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 018f6ea25963c77a7f65da274045b8b2)
+# DO NOT EDIT (digest: 90cd4ed4daa09207d0dfb6d4ce417c82)
 Mirage_runtime
+Mirage_info
 # OASIS_STOP
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: 28b94f1656275a21bcd843e925ba918b) *)
+(* DO NOT EDIT (digest: c716228fe68998b75512569ad94e1ece) *)
 (*
    Regenerated by OASIS v0.4.5
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6781,7 +6781,7 @@ let setup_t =
                       bs_nativeopt = [(OASISExpr.EBool true, [])]
                    },
                    {
-                      lib_modules = ["Mirage_runtime"];
+                      lib_modules = ["Mirage_runtime"; "Mirage_info"];
                       lib_pack = false;
                       lib_internal_modules = [];
                       lib_findlib_parent = Some "mirage";
@@ -6887,7 +6887,7 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.5";
-     oasis_digest = Some "\158\134fíÛÎÚª\024×A\152CúàM";
+     oasis_digest = Some "®Ý~\150}\005\141ATÙ\134xC¯\144ð";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false