This commit is contained in:
Simon Cruanes 2024-08-29 09:41:26 -04:00
parent a36342dce2
commit 31bc5bec82
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,5 +1,7 @@
(tests
(names t_fls t_main ; t_fib1
(names
t_fls
t_main ; t_fib1
)
(enabled_if
(>= %{ocaml_version} 5.0))