better kernel checker

2020-08-20 14:12:16 +02:00 · 2020-08-20 14:12:16 +02:00 · 371db977c8
parent 209513dc56
commit 371db977c8
1 changed files with 2 additions and 4 deletions
--- a/Kernel_23/include/CGAL/Kernel_checker.h
+++ b/Kernel_23/include/CGAL/Kernel_checker.h
@ -84,10 +84,8 @@ public:
  {
    auto res1 = p1(a.first...);
    auto res2 = p2(a.second...);
-    if (! cmp(res1, res2))
-    {
-      CGAL_kernel_assertion(false);
-    }
+
+    CGAL_kernel_assertion(cmp(res1, res2));
    return Pairify<decltype(res1), decltype(res2)>()(res1, res2);
  }
 };