From fd365ceb95e08f002b894196b476d16491bfec55 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 5 Jun 2022 16:05:50 +0200 Subject: [PATCH] Remove silencing of deprecation alert. This raises no alerts. --- src/tcp/segment.ml | 2 -- src/tcp/user_buffer.ml | 2 -- 2 files changed, 4 deletions(-) diff --git a/src/tcp/segment.ml b/src/tcp/segment.ml index 75872594..c27e9367 100644 --- a/src/tcp/segment.ml +++ b/src/tcp/segment.ml @@ -14,8 +14,6 @@ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. *) -[@@@ocaml.warning "-3"] - open Lwt.Infix let src = Logs.Src.create "tcp.segment" ~doc:"Mirage TCP Segment module" diff --git a/src/tcp/user_buffer.ml b/src/tcp/user_buffer.ml index 0b1f5325..4ef00221 100644 --- a/src/tcp/user_buffer.ml +++ b/src/tcp/user_buffer.ml @@ -15,8 +15,6 @@ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. *) -[@@@ocaml.warning "-3"] - open Lwt.Infix let lwt_sequence_add_l s seq =