From 27bbbdc0ef930b1efca7b268e859d4e93927b365 Mon Sep 17 00:00:00 2001
From: gareuselesinge
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
---
 dev/printers.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 1eb3aa4bb5..1fc249eef5 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -38,6 +38,7 @@ Heap
 Dnet
 Genarg
 Stateid
+Ephemeron
 Future
 RemoteCounter
 
-- 
cgit v1.2.3