From dd2c6803c6bdf0a4419364161e2dfd48e3007d65 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Tue, 14 Dec 2021 13:39:56 +0100 Subject: [PATCH] Fix type error --- lib/solo5_elftool.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/solo5_elftool.ml b/lib/solo5_elftool.ml index 4d06c6b..197c837 100644 --- a/lib/solo5_elftool.ml +++ b/lib/solo5_elftool.ml @@ -105,7 +105,7 @@ let parse_mft buf = | `Reserved_first -> Error (`Msg "found RESERVED_FIRST not as first entry")) (Ok []) entries - |> List.rev + |> Result.map List.rev in Ok { version = Int32.to_int version; entries }