From 5941ee688ac76a7b4f4f47e77e3276f903b18053 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Sun, 20 Aug 2023 22:33:06 +0200
Subject: [PATCH] Fixed a build error.

---
 src/db/db/dbTriangles.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/db/db/dbTriangles.cc b/src/db/db/dbTriangles.cc
index 4261233dc..2b519210c 100644
--- a/src/db/db/dbTriangles.cc
+++ b/src/db/db/dbTriangles.cc
@@ -1085,7 +1085,7 @@ Triangles::fill_concave_corners (const std::vector<db::TriangleEdge *> &edges)
 
     }
 
-    if (not any_connected) {
+    if (! any_connected) {
       break;
     }