From e50388a3be43d74cb6069cb1bde3c47b0b48b3e4 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 4 Aug 2023 16:41:16 -0400 Subject: [PATCH] expose logs_src --- src/linol.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/linol.ml b/src/linol.ml index e91f6e86..334942e2 100644 --- a/src/linol.ml +++ b/src/linol.ml @@ -10,3 +10,5 @@ module Server = Server module Blocking_IO = Blocking_IO module Log = Log module Make = Jsonrpc2.Make + +let logs_src = Log.src