From 74f87af96cd51b0e52f9840bd1330cd53b10417b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 2 May 2025 13:48:47 -0400 Subject: [PATCH] detail in tiny_httpd --- src/tiny_httpd/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tiny_httpd/dune b/src/tiny_httpd/dune index d68f539..12a3c11 100644 --- a/src/tiny_httpd/dune +++ b/src/tiny_httpd/dune @@ -5,7 +5,7 @@ threads picos (re_export nanoev) - nanoev.picos + (re_export nanoev-picos) picos_std.sync (re_export iostream) (re_export tiny_httpd)))