This commit is contained in:
Simon Cruanes 2025-02-04 23:32:20 -05:00
parent 21107dc7e7
commit 99fa66f1db
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 2 deletions

View file

@ -1,4 +1,4 @@
version = 0.24.1 version = 0.26.2
profile=conventional profile=conventional
margin=80 margin=80
if-then-else=k-r if-then-else=k-r

View file

@ -22,4 +22,4 @@ let mmap filename yield =
with e -> with e ->
Unix.close fd; Unix.close fd;
raise e raise e
[@@ocaml.warning "-3"] [@@ocaml.warning "-3"]