From 126a3c998c62bfd9f9b570f12b2e29576dd94cdd Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 5 Dec 2015 13:43:07 +0100
Subject: Factorizing unsafe code by relying on the new Dyn module.

---
 lib/lib.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/lib.mllib')

diff --git a/lib/lib.mllib b/lib/lib.mllib
index f3f6ad8fc7..a9181c51c1 100644
--- a/lib/lib.mllib
+++ b/lib/lib.mllib
@@ -1,6 +1,5 @@
 Errors
 Bigint
-Dyn
 Segmenttree
 Unicodetable
 Unicode
-- 
cgit v1.2.3


From b98e4857a13a4014c65882af5321ebdb09f41890 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 4 Mar 2016 17:40:10 +0100
Subject: Rename Ephemeron -> CEphemeron.

Fixes compilation of Coq with OCaml 4.03 beta 1.
---
 lib/lib.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/lib.mllib')

diff --git a/lib/lib.mllib b/lib/lib.mllib
index f3f6ad8fc7..6805ce4919 100644
--- a/lib/lib.mllib
+++ b/lib/lib.mllib
@@ -15,6 +15,6 @@ Rtree
 Heap
 Unionfind
 Genarg
-Ephemeron
+CEphemeron
 Future
 RemoteCounter
-- 
cgit v1.2.3