diff --git a/lib_eio_linux/eio_linux.mli b/lib_eio_linux/eio_linux.mli
index 8eacc61dc..a0ecf8349 100644
--- a/lib_eio_linux/eio_linux.mli
+++ b/lib_eio_linux/eio_linux.mli
@@ -249,3 +249,5 @@ module Low_level : sig
       an ipaddress. *)
 
 end
+
+val src : Logs.src