compat fix

This commit is contained in:
Simon Cruanes 2022-06-30 20:45:08 -04:00
parent db9c613f57
commit 20fb411b50
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,5 +1,5 @@
let verbose = Sys.getenv_opt "VERBOSE"=Some "1" let verbose = try Sys.getenv "VERBOSE"="1" with _ -> false
[@@@ifge 4.08] [@@@ifge 4.08]