From eed2bb82eb4b97881f155079fd457a8de75bdba5 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 6 Jan 2011 11:48:50 +0000
Subject: Remove Safe_marshal

Safe_marshal was using intermediate strings that are subject to
Sys.max_string_length limitation. Use directly binary channel-oriented
functions instead. This is a fix for bug #2471. Remark: this might
reduce robustness w.r.t. noise in the communication channel.

AFAIK, the original purpose of Safe_marshal was to work around a bug
on Windows... this should be investigated further.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13765 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 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 0607ae50e..90b90cb4f 100644
--- a/lib/lib.mllib
+++ b/lib/lib.mllib
@@ -23,4 +23,3 @@ Heap
 Option
 Dnet
 Store
-Safe_marshal
-- 
cgit v1.2.3