From 2a3c815a08f3e073231d6c577e90553d57134a02 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 9 Apr 2021 23:47:52 -0400 Subject: [PATCH] fix warning --- src/blocking_IO.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/blocking_IO.ml b/src/blocking_IO.ml index b3bbea0c..845d46aa 100644 --- a/src/blocking_IO.ml +++ b/src/blocking_IO.ml @@ -29,8 +29,6 @@ let catch f g = try f() with e -> g e -let spf = Printf.sprintf - let rec read ic buf i len = if len>0 then ( let n = input ic buf i len in