From 7acc1b930f6ff085ede56dac7f070b7dba4f18bf Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 7 May 2025 15:35:11 -0400 Subject: [PATCH] detail --- src/util/rpool.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/util/rpool.ml b/src/util/rpool.ml index 2a5446c..dbaf605 100644 --- a/src/util/rpool.ml +++ b/src/util/rpool.ml @@ -1,5 +1,3 @@ -(** A resource pool (for buffers) *) - open struct module A = Trace_core.Internal_.Atomic_ end