git.annexia.org / virt-top.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15f0601) | patch
src/top.ml: Don't depend on exact value of Failure argument.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 20 Aug 2019 13:31:34 +0000 (14:31 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 20 Aug 2019 13:31:34 +0000 (14:31 +0100)
commit451a8810221ff41185d29d2362301f0efaba727e
tree37edb6f847fef99f7d527609738a1fcd03dc2093tree | snapshot
parent15f0601f39b2aa477e6f1f2558575f98b873a193commit | diff
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 diff | blob | history
top-like utility for showing stats of virtual machines