From 9e18dc14012ea2e497289394c4dd0f826a432bf7 Mon Sep 17 00:00:00 2001 From: Daniel James Date: Sat, 28 Oct 2017 17:36:25 +0100 Subject: [PATCH] Oops, fix properly --- doc/ref.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ref.php b/doc/ref.php index 95c4dbb8..35df3f49 100644 --- a/doc/ref.php +++ b/doc/ref.php @@ -1677,7 +1677,7 @@ function echo_node_handle_docs($map) defined, and should be obtained using the node_type member typedef from the appropriate container. - + typename Container::key_type