Remove [`Msg of string] from Tar_unix.decode_error

robur-team · dinosaure · reynir · robur-team · commit 576dcfffc777 · 2024-05-09T08:00:08.000Z
Co-authored-by: Calascibetta Romain &lt;romain.calascibetta@gmail.com&gt;
Co-authored-by: Reynir Björnsson &lt;reynir@reynir.dk&gt;
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,6 @@ type decode_error = [`
`20`	`20`	\| `Fatal of Tar.error
`21`	`21`	\| `Unix of Unix.error * string * string
`22`	`22`	\| `Unexpected_end_of_file
`23`		- \| `Msg of string
`24`	`23`	`]`
`25`	`24`
`26`	`25`	`type t`