diff options
| author | polwex <polwex@sortug.com> | 2025-10-07 03:08:57 +0700 |
|---|---|---|
| committer | polwex <polwex@sortug.com> | 2025-10-07 03:08:57 +0700 |
| commit | a3170453e08079369da031377c45600ee22ab53a (patch) | |
| tree | 22a90cdf95202d1fe760acf71d85716b1ce3082a /ocaml/lib/boot.ml | |
| parent | 64611d312280dd5d63d498ded09ae4e9a6eaf34c (diff) | |
nock diversity
Diffstat (limited to 'ocaml/lib/boot.ml')
| -rw-r--r-- | ocaml/lib/boot.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocaml/lib/boot.ml b/ocaml/lib/boot.ml index 26f2177..b1026f9 100644 --- a/ocaml/lib/boot.ml +++ b/ocaml/lib/boot.ml @@ -206,7 +206,7 @@ let life eve = (Noun.cell (Noun.atom 0) (Noun.atom 2))) in - let result = Nock.nock_on eve lifecycle_formula in + let result = Nock_tail.nock_on eve lifecycle_formula in Printf.printf "[Boot] ✓ Nock.nock_on returned successfully\n%!"; Printf.printf "[Boot] Gate mug: 0x%08lx\n%!" (Noun.mug result); result @@ -600,7 +600,7 @@ let boot_lite ~fs state ivory_path = in (* Execute the lifecycle formula to produce kernel *) - let gat = Nock.nock_on eve lifecycle_formula in + let gat = Nock_tail.nock_on eve lifecycle_formula in (* Extract slot 7 (the kernel) from resulting gate *) let core = Noun.slot (Z.of_int 7) gat in |