From e05dba87e7dd19fbca9346b3b7f6e43aef5602bd Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Wed, 28 Aug 2024 14:35:32 +0200
Subject: [PATCH] Wrap the library Alt_ergo_prelude

Unwrapped this library was a big mistake, mea maxima culpa.
When I added this prelude, I did know how to use `-open` with a
wrapped library.

I couldn't compile smtml with `alt-ergo-lib` because the library of
smtml depends on a module Prelude from another library.
---
 src/dune     | 1 -
 src/lib/dune | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/dune b/src/dune
index 250bda13c..8ce99ebd6 100644
--- a/src/dune
+++ b/src/dune
@@ -17,6 +17,5 @@
 (library
  (name alt_ergo_prelude)
  (package alt-ergo-lib)
- (wrapped false)
  (modules prelude)
 )
diff --git a/src/lib/dune b/src/lib/dune
index 2d7f7575e..adf55bb68 100644
--- a/src/lib/dune
+++ b/src/lib/dune
@@ -7,7 +7,7 @@
 (library
   (name AltErgoLib)
   (public_name alt-ergo-lib)
-  (ocamlopt_flags (:standard -open Prelude))
+  (flags (:standard -open Alt_ergo_prelude__Prelude))
   ; external dependencies
   (libraries
     seq