From 576dcfffc777a61814f6852be5565777fae317b6 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Thu, 9 May 2024 07:58:56 +0000
Subject: [PATCH] Remove [`Msg of string] from Tar_unix.decode_error
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Calascibetta Romain <romain.calascibetta@gmail.com>
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
---
 unix/tar_unix.mli | 1 -
 1 file changed, 1 deletion(-)

diff --git a/unix/tar_unix.mli b/unix/tar_unix.mli
index 509ca9b..eda3e75 100644
--- a/unix/tar_unix.mli
+++ b/unix/tar_unix.mli
@@ -20,7 +20,6 @@ type decode_error = [
   | `Fatal of Tar.error
   | `Unix of Unix.error * string * string
   | `Unexpected_end_of_file
-  | `Msg of string
 ]
 
 type t