diff options
Diffstat (limited to 'doc/html/boost/proto/reverse_fold_tree.html')
-rw-r--r--[-rwxr-xr-x] | doc/html/boost/proto/reverse_fold_tree.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/boost/proto/reverse_fold_tree.html b/doc/html/boost/proto/reverse_fold_tree.html index 8e6d6d2501..dccb32ded2 100755..100644 --- a/doc/html/boost/proto/reverse_fold_tree.html +++ b/doc/html/boost/proto/reverse_fold_tree.html @@ -46,7 +46,7 @@ <span class="special">}</span><span class="special">;</span> <span class="special">}</span><span class="special">;</span></pre></div> <div class="refsect1"> -<a name="id2867115"></a><h2>Description</h2> +<a name="id2919630"></a><h2>Description</h2> <p> <code class="computeroutput">proto::reverse_fold_tree<></code> is useful for flattening trees into lists; for example, you might use <code class="computeroutput">proto::reverse_fold_tree<></code> |