From 27bbbdc0ef930b1efca7b268e859d4e93927b365 Mon Sep 17 00:00:00 2001
From: gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 18 Oct 2013 13:52:06 +0000
Subject: Ephemeron: marshaling friendly keys

Ideally all unmarshallable content in the state should be
stocked using Ephemeron keys.  In this way the state becomes
always marshallable (because the unmarshallable content is magically
dropped).  The mli contains more detailed doc.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16891 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 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 759be8729..08196d27f 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -23,6 +23,7 @@ CString
 CArray
 CStack
 Util
+Ephemeron
 Future
 CUnix
 System
-- 
cgit v1.2.3