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.

---
 checker/check.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'checker/check.mllib')

diff --git a/checker/check.mllib b/checker/check.mllib
index 246fe64de..a029b0245 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -8,6 +8,7 @@ Hashcons
 CSet
 CMap
 Int
+Dyn
 HMap
 Option
 Store
-- 
cgit v1.2.3