Pick used instead of choose for the First

coq-io · Mar 11, 2015 · cc63e34 · cc63e34
1 parent 9f95743
commit cc63e34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ioSystem.ml b/ioSystem.ml
@@ -49,7 +49,7 @@ let join (x : 'a Lwt.t) (y : 'b Lwt.t) : ('a * 'b) Lwt.t =
 
 (** First. *)
 let first (x : 'a Lwt.t) (y : 'b Lwt.t) : ('a, 'b) Sum.t Lwt.t =
-  Lwt.choose [
+  Lwt.pick [
     Lwt.bind x (fun x -> Lwt.return @@ Sum.Left x);
     Lwt.bind y (fun y -> Lwt.return @@ Sum.Right y)]