From 29b3d5d65533a3532a65a6b188d53871ef50328c Mon Sep 17 00:00:00 2001
From: Glenn Slotte <glenn@slotte.net>
Date: Mon, 20 Feb 2023 20:02:45 +0100
Subject: [PATCH] docs(option/orElse): add deprecation message

Co-authored-by: Pedro Castro <aspeddro@gmail.com>
---
 src/Core__Option.resi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Core__Option.resi b/src/Core__Option.resi
index 84c7cf21..468a77c5 100644
--- a/src/Core__Option.resi
+++ b/src/Core__Option.resi
@@ -210,7 +210,7 @@ Option.orElse(None, Some(1066) == Some(1066)
 Option.orElse(None, None) == None
 ```
 */
-@deprecated
+@deprecated("Use `or` instead")
 let orElse: (option<'a>, option<'a>) => option<'a>
 
 /**