diff options
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 |