From 1cdfa06c6858f02dde0e178382d6d5f4922fc1c3 Mon Sep 17 00:00:00 2001 From: Emm Date: Sun, 25 Jan 2015 22:51:11 +0100 Subject: [PATCH] Add @since tag to rose tree documentation. --- src/misc/roseTree.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/misc/roseTree.mli b/src/misc/roseTree.mli index c946d8df..84803093 100644 --- a/src/misc/roseTree.mli +++ b/src/misc/roseTree.mli @@ -3,6 +3,8 @@ A persistent, non-lazy tree where each node may have an arbitrary number of children. + + @since NEXT_RELEASE *) (**