From 35a71d5302d689454dc853e94da4e1ef4a53ff18 Mon Sep 17 00:00:00 2001 From: Richard Kreckel Date: Mon, 6 Jun 2022 18:52:02 +0200 Subject: [PATCH] [TESTS] Fix node::operator< in time_antipode.cpp. Reported by Yuri Gribov . --- check/time_antipode.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check/time_antipode.cpp b/check/time_antipode.cpp index 5fbc5f98..21f76b32 100644 --- a/check/time_antipode.cpp +++ b/check/time_antipode.cpp @@ -308,7 +308,7 @@ bool node::operator<(const node &n) const return typeid(*vert).before(typeid(*n.vert)); // Are the indices of the top-level nodes different? if (!(*vert==*n.vert)) - return (vert