remove maybe duplicate copy

diff --git a/xenops/domain.ml b/xenops/domain.ml
index 9a26d6734f5841a9ca427de2560996ac02cab4f6..d8fd78f8da9e7f213c61e1e9781700eb7e0e2575 100644 (file)
--- a/xenops/domain.ml
+++ b/xenops/domain.ml
@@ -83,7 +83,6 @@ let set_difference a b = List.filter (fun x -> not(List.mem x b)) a
 let assert_file_is_readable filename = 
        try Unix.access filename [ Unix.F_OK; Unix.R_OK ]
        with _ -> raise (Could_not_read_file filename)
-let maybe f = function None -> () | Some x -> f x
 
 type domarch = Arch_HVM | Arch_native | Arch_X64 | Arch_X32