diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2008-04-15 11:26:46 +0100 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2008-04-15 11:26:46 +0100 |
commit | 0019c13c600d34f12778e849246711bb20ba4ee2 (patch) | |
tree | 57e2dc48b526ae4445bd5f542cce4ab04a7b735e /virt-df/virt_df_mbr.ml | |
parent | 748302caa93af2c412bcd30dad5787a5a24e9af5 (diff) | |
download | virt-top-0019c13c600d34f12778e849246711bb20ba4ee2.tar.gz virt-top-0019c13c600d34f12778e849246711bb20ba4ee2.tar.xz virt-top-0019c13c600d34f12778e849246711bb20ba4ee2.zip |
Don't need the ': device' typecasts any more.
Diffstat (limited to 'virt-df/virt_df_mbr.ml')
-rw-r--r-- | virt-df/virt_df_mbr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/virt-df/virt_df_mbr.ml b/virt-df/virt_df_mbr.ml index b9a6cb7..b56189c 100644 --- a/virt-df/virt_df_mbr.ml +++ b/virt-df/virt_df_mbr.ml @@ -66,7 +66,7 @@ end @raise Not_found if it is not an MBR. *) -let rec probe_mbr (dev : device) = +let rec probe_mbr dev = (* Adjust size to sectors. *) let size = dev#size /^ sector_size64 in |