From 9b157474961b35e422704d32234d4ca5369acbe8 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 2 Sep 2022 13:57:11 +0100 Subject: [PATCH 09/12] src/utils.ml: Fix more warnings about parsing ints from strings Updates: commit 63b515b375ebf2dbcc7b0b53f2031c3aa63ac8dc --- src/utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/utils.ml b/src/utils.ml index f5990ef..521d49e 100644 --- a/src/utils.ml +++ b/src/utils.ml @@ -162,7 +162,7 @@ and split_version = function let rest = Str.matched_group 2 str in let n = try `Number (int_of_string n) - with Failure "int_of_string" -> `String n in + with Failure _ -> `String n in n, rest ) else if Str.string_match rex_letters str 0 then -- 2.37.3