From eec5b3ef71be785095d07c12776bc49754d21d34 Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Mon, 18 May 2009 11:41:15 -0700 Subject: [PATCH] remove maybe duplicate copy --- xenops/domain.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/xenops/domain.ml b/xenops/domain.ml index 9a26d67..d8fd78f 100644 --- 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 -- 2.39.5