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