From 451a8810221ff41185d29d2362301f0efaba727e Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 20 Aug 2019 14:31:34 +0100
Subject: [PATCH] src/top.ml: Don't depend on exact value of Failure argument.

File "top.ml", line 423, characters 14-31:
423 |       Failure "float_of_string" ->
                    ^^^^^^^^^^^^^^^^^
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 9.5)
---
 src/top.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/top.ml b/src/top.ml
index d4f7697..c38239c 100644
--- a/src/top.ml
+++ b/src/top.ml
@@ -420,7 +420,7 @@ and change_delay () =
 	delay := int_of_float (newdelay *. 1000.); false
       )
     with
-      Failure "float_of_string" ->
+      Failure _ ->
 	print_msg (s_"Not a valid number"); true in
   refresh ();
   sleep (if error then 2 else 1)
-- 
1.8.3.1