Make multiple runs of benchmark actually run.

Signed-off-by: Paul-Elliot <[email protected]>
Julow · Sep 29, 2023 · efd93be · efd93be
1 parent 1f0ee21
commit efd93be
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/dune b/doc/dune
@@ -31,6 +31,7 @@
   (> %{ocaml_version} 4.11))
  (deps
   (package odoc)
+  (universe) ; Benchmark depends on the running time of odoc commands
   (glob_files *.mld)
   (glob_files library_mlds/*)
   (glob_files examples/*.ml*))