From c31476b81ddb05462642bc1d3ff7a64c6306256a Mon Sep 17 00:00:00 2001 From: Patrick Ferris Date: Wed, 19 Aug 2026 14:43:16 +0100 Subject: [PATCH] Remove spurious traceln --- src/eio/glob_eio.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/eio/glob_eio.ml b/src/eio/glob_eio.ml index 2098cf9..999482c 100644 --- a/src/eio/glob_eio.ml +++ b/src/eio/glob_eio.ml @@ -14,7 +14,6 @@ let matches ?options t path = let glob ?options t fs = let path, cs = Glob.split t in - Eio.traceln "Path %s" (path :> string); let full_path = fs / (path :> string) in Eio.Path.with_open_dir full_path @@ fun dir -> Eio.Path.read_dir dir -- 2.51.2