summaryrefslogtreecommitdiffstats
path: root/virt-df/virt_df_mbr.ml
diff options
context:
space:
mode:
Diffstat (limited to 'virt-df/virt_df_mbr.ml')
-rw-r--r--virt-df/virt_df_mbr.ml2
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