From: Richard W.M. Jones Date: Tue, 20 Aug 2019 13:31:34 +0000 (+0100) Subject: src/top.ml: Don't depend on exact value of Failure argument. X-Git-Tag: v1.0.9~1 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=451a8810221ff41185d29d2362301f0efaba727e;p=virt-top.git 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) --- 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)