From 0ea41d94bf5216cd7ede3763b60ca9ed9decee58 Mon Sep 17 00:00:00 2001 From: Pablo Largo Mohedano Date: Sun, 17 Dec 2023 18:51:01 +0100 Subject: [PATCH] Updated wrong phpdoc --- src/Psl/Option/Option.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Psl/Option/Option.php b/src/Psl/Option/Option.php index 5631ae80..8877c830 100644 --- a/src/Psl/Option/Option.php +++ b/src/Psl/Option/Option.php @@ -311,7 +311,7 @@ public function equals(mixed $other): bool * Combines two `Option` values into a single `Option` containing a tuple of the two inner values. * If either of the `Option`s is `None`, the resulting `Option` will also be `None`. * - * @note: If an element is `None`, the corresponding element in the resulting tuple will be `None`. + * @note: If an element is `None`, both elements in the resulting tuple will be `None`. * * @template Tu *