diff options
Diffstat (limited to 'setup.ml')
-rw-r--r-- | setup.ml | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -1,7 +1,7 @@ (* setup.ml generated for the first time by OASIS v0.4.8 *) (* OASIS_START *) -(* DO NOT EDIT (digest: 602702c2b3e29065636a02e0e82ba6a6) *) +(* DO NOT EDIT (digest: d662f8d4da0a60b09228a8655e62c2a8) *) (* Regenerated by OASIS v0.4.8 Visit http://oasis.forge.ocamlcore.org for more information and @@ -7380,7 +7380,12 @@ let setup_t = }, { lib_modules = - ["Vytree"; "Vylist"; "Value_checker"; "Vyconf_config" + [ + "Vytree"; + "Vylist"; + "Value_checker"; + "Vyconf_config"; + "Util" ]; lib_pack = false; lib_internal_modules = []; @@ -11336,7 +11341,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.8"; - oasis_digest = Some "\164\128uZ\195\226\174r\220\161\232Msu\141\165"; + oasis_digest = Some "#Iza,I\028\140\r \250\017\0166\000C"; oasis_exec = None; oasis_setup_args = []; setup_update = false @@ -11344,7 +11349,7 @@ let setup_t = let setup () = BaseSetup.setup setup_t;; -# 11348 "setup.ml" +# 11353 "setup.ml" let setup_t = BaseCompat.Compat_0_4.adapt_setup_t setup_t open BaseCompat.Compat_0_4 (* OASIS_STOP *) |