removed double separating line

This commit is contained in:
joaquintides
2023-05-19 11:28:08 +02:00
parent 528f7d4b12
commit f28527c4d8

View File

@ -1436,5 +1436,3 @@ Equivalent to
-----
c.xref:#concurrent_flat_map_erase_if[erase_if](pred);
-----
---