Berthold Stoeger
474fc72e32
Coding style: use std::equal_to instead of lambda
...
Use std::equal_to instead of lambdas that compare two dive pointers.
One could argue over which version is more readable. For whatever
it's worth, std::equal_to is more compact and expressive.
This removes an old erroneous comment that stated that std::equal_to
is only available since C++14.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2019-12-13 07:12:12 -05:00
..
2019-06-19 13:11:10 -07:00
2019-04-12 18:19:07 +03:00
2019-05-06 10:48:44 +02:00
2019-06-19 13:11:10 -07:00
2017-04-29 13:32:55 -07:00
2019-11-26 17:21:34 -08:00
2019-11-26 17:21:34 -08:00
2018-05-21 12:48:04 -07:00
2018-09-29 15:23:25 -07:00
2018-06-17 06:53:13 +09:00
2018-09-29 15:23:25 -07:00
2019-10-02 08:04:49 -07:00
2019-10-02 08:04:49 -07:00
2019-12-13 07:04:00 -05:00
2019-11-08 20:50:05 +01:00
2019-12-05 10:14:25 -08:00
2019-12-05 10:14:25 -08:00
2019-04-16 20:38:19 +02:00
2019-04-16 20:38:19 +02:00
2019-11-14 21:02:07 +01:00
2019-10-20 16:20:58 +02:00
2019-11-16 08:29:53 -08:00
2019-11-09 19:19:04 +01:00
2019-05-06 10:48:44 +02:00
2019-05-06 10:48:44 +02:00
2019-12-13 07:12:12 -05:00
2019-12-11 08:31:57 -05:00
2019-12-10 18:45:30 -08:00
2019-12-10 18:45:30 -08:00
2019-10-04 09:19:10 -07:00
2019-10-04 09:19:10 -07:00
2019-11-19 21:13:40 -08:00
2019-09-06 11:48:47 -07:00
2018-05-21 12:48:04 -07:00
2018-09-29 15:23:25 -07:00
2019-11-09 19:19:04 +01:00
2019-07-18 05:42:55 -07:00
2019-04-29 13:06:39 -07:00
2019-04-29 13:06:39 -07:00
2018-09-01 07:48:43 -07:00
2018-09-29 15:23:25 -07:00
2019-12-05 10:14:25 -08:00
2019-12-05 10:14:25 -08:00
2019-04-29 13:06:39 -07:00
2019-04-29 13:06:39 -07:00
2019-11-09 19:19:04 +01:00
2018-12-17 12:18:26 +01:00