fix build

This commit is contained in:
Simon Cruanes 2025-09-26 15:43:26 -04:00
parent 64c3442078
commit 70018423ff
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,6 +1,5 @@
(library (library
(name t_fibers) (name t_fibers)
(enabled_if
(>= %{ocaml_version} 5.0))
(package moonpool) (package moonpool)
(optional)
(libraries moonpool moonpool.fib trace qcheck-core)) (libraries moonpool moonpool.fib trace qcheck-core))