diff options
| author | polwex <polwex@sortug.com> | 2025-10-06 18:46:53 +0700 |
|---|---|---|
| committer | polwex <polwex@sortug.com> | 2025-10-06 18:46:53 +0700 |
| commit | ea7d970586959946a119e30b0dc1f9fbe30c33e7 (patch) | |
| tree | b1dd0087140d3731b5367237173ac0728e2156e2 /ocaml/test/test_ivory_boot.ml | |
| parent | a4615148975bed241ae26ffa2655dc9c407107d8 (diff) | |
good progress
Diffstat (limited to 'ocaml/test/test_ivory_boot.ml')
| -rw-r--r-- | ocaml/test/test_ivory_boot.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |