fix warnings

This commit is contained in:
Simon Cruanes 2023-05-24 15:03:32 -04:00
parent 30a355da5a
commit 61ee931b6c
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 1 additions and 2 deletions

View file

@ -1,7 +1,6 @@
module S = Tiny_httpd_server
module U = Tiny_httpd_util
module Html = Tiny_httpd_html
module Pf = Printf
type dir_behavior =
| Index | Lists | Index_or_lists | Forbidden

View file

@ -3,7 +3,7 @@
(name tiny_httpd)
(public_name tiny_httpd)
(libraries threads seq)
(flags :standard -safe-string -warn-error -a+8)
(flags :standard -safe-string -strict-sequence -w +a-4-40-42 -warn-error -a+8)
(wrapped false))
(rule