diff options
| author | Nadrieril | 2024-05-24 16:20:04 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-24 16:22:11 +0200 |
| commit | c4af12c1c34406720d8173f2972d4cf1f42f8f5b (patch) | |
| tree | c7dd772e3a7c3eb0941b839f0285e9caa67d73ce /tests | |
| parent | 0baa0519cf477fe1fa447417585960fc811bcae9 (diff) | |
fix generated file
Diffstat (limited to '')
| -rw-r--r-- | tests/test_runner/aeneas_test_runner.opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/test_runner/aeneas_test_runner.opam b/tests/test_runner/aeneas_test_runner.opam index b57cc9f6..1539c521 100644 --- a/tests/test_runner/aeneas_test_runner.opam +++ b/tests/test_runner/aeneas_test_runner.opam @@ -7,7 +7,7 @@ homepage: "https://github.com/AeneasVerif/aeneas" bug-reports: "https://github.com/AeneasVerif/aeneas/issues" depends: [ "ocaml" - "dune" {>= "3.12"} + "dune" {>= "3.7"} "odoc" {with-doc} ] build: [ |