Skip to content

Commit 7e76186

Browse files
committed
Fix benchmark build?
1 parent 9ba4bbf commit 7e76186

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

odoc-bench.opam

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,4 +44,8 @@ depends: [
4444
"core" {= "v0.16.2"}
4545
"core_kernel" {= "v0.16.0"}
4646
"crunch"
47+
"odig"
48+
"base"
49+
"alcotest"
50+
"menhirLib"
4751
]

0 commit comments

Comments
 (0)