From 371db977c85a29583124a433fb9e559b5089dc3a Mon Sep 17 00:00:00 2001
From: Dmitry Anisimov <danston@ymail.com>
Date: Thu, 20 Aug 2020 14:12:16 +0200
Subject: [PATCH] better kernel checker

---
 Kernel_23/include/CGAL/Kernel_checker.h | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Kernel_23/include/CGAL/Kernel_checker.h b/Kernel_23/include/CGAL/Kernel_checker.h
index a4753265266..bd35c115a08 100644
--- 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);
   }
 };