diff --git a/src/core/lwt_pool.mli b/src/core/lwt_pool.mli index a3b17a6d14..1770b95024 100644 --- a/src/core/lwt_pool.mli +++ b/src/core/lwt_pool.mli @@ -35,7 +35,7 @@ - performing cleanup logic before dropping a resource. The following example illustrates how it is used with an imaginary - Lwt-aware [Db] module: + [Db] module: {[ let uri = "postgresql://localhost:5432"