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