X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=virt-df%2Fvirt_df_mbr.ml;h=b56189c45a86d342dcbc1f42e36232916748d7cd;hb=b9320ec4678a8a7bb88a8b8aa72805b79ce48daf;hp=b9a6cb7e298392f7bb2de6655bacb48845c5e1ce;hpb=e6050cae9eee80791c3bb26f34c61f7dc89b142f;p=virt-top.git

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