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

---
 lib/clib.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/clib.mllib')

diff --git a/lib/clib.mllib b/lib/clib.mllib
index 7ff1d2935..1770df199 100644
--- a/lib/clib.mllib
+++ b/lib/clib.mllib
@@ -8,6 +8,7 @@ Hashcons
 CSet
 CMap
 Int
+Dyn
 HMap
 Option
 Store
-- 
cgit v1.2.3