From 440508b381a4a927919b30c30fb1ecf203904a0c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 25 Jul 2019 09:59:30 +0200
Subject: [PATCH] Make the script executable, and execute it
---
bin/migration_scripts/potassium2calcium.sh | 0
src/libraries/stdlib/extlib.mli | 4 ++--
2 files changed, 2 insertions(+), 2 deletions(-)
mode change 100644 => 100755 bin/migration_scripts/potassium2calcium.sh
diff --git a/bin/migration_scripts/potassium2calcium.sh b/bin/migration_scripts/potassium2calcium.sh
old mode 100644
new mode 100755
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index c39327e3e31..a6ea92ff928 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -135,13 +135,13 @@ val opt_of_list: 'a list -> 'a option
@since Oxygen-20120901 *)
val find_opt : ('a -> 'b option) -> 'a list -> 'b
-[@@deprecated "Use Transitioning.List.find_opt instead."]
+[@@deprecated "Use List.find_opt instead."]
(** [find_option p l] returns the value [p e], [e] being the first
element of [l] such that [p e] is not [None]. Raise [Not_found] if there
is no such value the list l.
@since Nitrogen-20111001
- @deprecated 18.0-Argon use [Transitioning.List.find_opt] instead *)
+ @deprecated 18.0-Argon use [List.find_opt] instead *)
val iteri: (int -> 'a -> unit) -> 'a list -> unit
(** Same as iter, but the function to be applied take also as argument the
--
GitLab