From b45477bf5e53fc9b99c519528411ece9b2c5103c Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Tue, 21 Jan 2025 15:19:11 +0000 Subject: [PATCH] Fix benchmark build? --- odoc-bench.opam | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/odoc-bench.opam b/odoc-bench.opam index c0c7d2616c..614e8defb9 100644 --- a/odoc-bench.opam +++ b/odoc-bench.opam @@ -44,4 +44,8 @@ depends: [ "core" {= "v0.16.2"} "core_kernel" {= "v0.16.0"} "crunch" + "odig" + "base" + "alcotest" + "menhirLib" ]