Remove silencing of deprecation alert. This raises no alerts.

mirage · Jun 5, 2022 · fd365ce · fd365ce
1 parent 06f05fb
commit fd365ce
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git 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
@@ -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 =