From ea7d970586959946a119e30b0dc1f9fbe30c33e7 Mon Sep 17 00:00:00 2001 From: polwex Date: Mon, 6 Oct 2025 18:46:53 +0700 Subject: good progress --- ocaml/test/test_ivory_boot.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ocaml/test/test_ivory_boot.ml') diff --git a/ocaml/test/test_ivory_boot.ml b/ocaml/test/test_ivory_boot.ml index 7cada9e..f9d511a 100644 --- a/ocaml/test/test_ivory_boot.ml +++ b/ocaml/test/test_ivory_boot.ml @@ -20,7 +20,7 @@ let test_ivory_boot env = Printf.printf "Step 3: Run lifecycle formula [2 [0 3] [0 2]]\n"; Printf.printf "Step 4: Extract slot 7 from result\n\n"; - match Boot.boot_ivory ~fs state "ivory.pill" with + match Boot.boot_lite ~fs state "ivory.pill" with | Error msg -> Printf.printf "✗ Boot failed: %s\n%!" msg -- cgit v1.2.3