diff options
Diffstat (limited to '2025')
| -rw-r--r-- | 2025/ocaml/bin/dune | 3 | ||||
| -rw-r--r-- | 2025/ocaml/test/domain/dune | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/2025/ocaml/bin/dune b/2025/ocaml/bin/dune index 3903f3b..0f6768d 100644 --- a/2025/ocaml/bin/dune +++ b/2025/ocaml/bin/dune @@ -7,4 +7,5 @@ infrastructure presentation logs - logs.fmt)) + logs.fmt) + (modes byte exe)) diff --git a/2025/ocaml/test/domain/dune b/2025/ocaml/test/domain/dune index 45b979d..1364288 100644 --- a/2025/ocaml/test/domain/dune +++ b/2025/ocaml/test/domain/dune @@ -7,4 +7,5 @@ domain alcotest qcheck-core - qcheck-alcotest)) + qcheck-alcotest) + (modes byte exe)) |