From 791e790fa93e73f90cb58b54a8486fe71c8138d3 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Tue, 21 Aug 2012 13:36:14 +0000 Subject: [PATCH] \require -> \requires --- Miscellany/doc/Miscellany/CGAL/Union_find.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Miscellany/doc/Miscellany/CGAL/Union_find.h b/Miscellany/doc/Miscellany/CGAL/Union_find.h index 61f968d6309..4d1d5eccecf 100644 --- a/Miscellany/doc/Miscellany/CGAL/Union_find.h +++ b/Miscellany/doc/Miscellany/CGAL/Union_find.h @@ -107,7 +107,8 @@ handle push_back(const T& x) ; /*! insert -the range of values referenced by `[first,beyond)`. \require value type of `Forward_iterator` is `T`. +the range of values referenced by `[first,beyond)`. +\requires value type of `Forward_iterator` is `T`. */ template void insert(Forward_iterator first, Forward_iterator beyond) ;