From adee01be65eaa134c100511fb44db8fc9c661bc3 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 24 Mar 2015 10:06:41 +0100
Subject: [PATCH] =?UTF-8?q?due=20reference=20to=20Jean-Christophe=20Filli?=
 =?UTF-8?q?=C3=A2tre=20in=20CCPersistentArray?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/data/CCPersistentArray.mli | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/data/CCPersistentArray.mli b/src/data/CCPersistentArray.mli
index b8a77166..e1478c16 100644
--- a/src/data/CCPersistentArray.mli
+++ b/src/data/CCPersistentArray.mli
@@ -26,6 +26,10 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 (** {1 Persistent Arrays}
 
+From the paper by Jean-Christophe Filliâtre,
+"A persistent Union-Find data structure", see
+{{: https://www.lri.fr/~filliatr/ftp/publis/puf-wml07.ps} the ps version}
+
 @since NEXT_RELEASE *)
 
 type 'a t