From 3a167bd850ab4c288f1b274f14a655d5e526ed13 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Mon, 15 Apr 2024 11:19:41 +0200 Subject: [PATCH] wip: make 5.2 build pass by removing alert in stdune --- otherlibs/stdune/src/stdune.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/otherlibs/stdune/src/stdune.ml b/otherlibs/stdune/src/stdune.ml index 3217e7aeb553..d281bc9785a9 100644 --- a/otherlibs/stdune/src/stdune.ml +++ b/otherlibs/stdune/src/stdune.ml @@ -1,5 +1,4 @@ -[@@@alert unstable "The API of this library is not stable and may change without notice."] -[@@@alert "-unstable"] + module Appendable_list = Appendable_list module Nonempty_list = Nonempty_list