Skip to content

Commit

Permalink
Fix benchmark build?
Browse files Browse the repository at this point in the history
  • Loading branch information
jonludlam committed Jan 21, 2025
1 parent 9ba4bbf commit 7e76186
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions odoc-bench.opam
Original file line number Diff line number Diff line change
Expand Up @@ -44,4 +44,8 @@ depends: [
"core" {= "v0.16.2"}
"core_kernel" {= "v0.16.0"}
"crunch"
"odig"
"base"
"alcotest"
"menhirLib"
]

0 comments on commit 7e76186

Please sign in to comment.