diff --git a/repos/libports/src/lib/libc/select.cc b/repos/libports/src/lib/libc/select.cc
index 034ea6a32b..3d98578a5d 100644
--- a/repos/libports/src/lib/libc/select.cc
+++ b/repos/libports/src/lib/libc/select.cc
@@ -221,20 +221,6 @@ void Libc::select_notify_from_kernel()
 }
 
 
-static inline void print(Output &output, timeval *tv)
-{
-	if (!tv) {
-		print(output, "nullptr");
-	} else {
-		print(output, "{");
-		print(output, tv->tv_sec);
-		print(output, ",");
-		print(output, tv->tv_usec);
-		print(output, "}");
-	}
-}
-
-
 extern "C" __attribute__((weak))
 int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds,
            struct timeval *tv)