From 565a0cc3c1df374b507f780074aea7da0eded933 Mon Sep 17 00:00:00 2001 From: Bobby Priambodo Date: Sun, 15 Apr 2018 08:49:03 +0700 Subject: [PATCH] Erase "Lwt-aware" --- src/core/lwt_pool.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"