From 39c752dfd138309a9fb5e1e07114fa2deaaa5723 Mon Sep 17 00:00:00 2001 From: albert-github Date: Thu, 29 Sep 2022 10:32:10 +0200 Subject: [PATCH] Update STL_Extension/include/CGAL/In_place_list.h Co-authored-by: Mael --- STL_Extension/include/CGAL/In_place_list.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/STL_Extension/include/CGAL/In_place_list.h b/STL_Extension/include/CGAL/In_place_list.h index c6c936275b2..246453abeab 100644 --- a/STL_Extension/include/CGAL/In_place_list.h +++ b/STL_Extension/include/CGAL/In_place_list.h @@ -582,8 +582,7 @@ public: void merge(Self& x, StrictWeakOrdering ord) // merges the list x into the list `l' and x becomes empty. // It is stable. - // stable. Precondition: Both lists are sorted in increasing order - // wrt. ord. + // Precondition: Both lists are sorted in increasing order wrt. `ord`. { iterator first1 = begin(); iterator last1 = end();