From 8fa5873e7e2aaef34e3f54fd01ed2ff15a5ada20 Mon Sep 17 00:00:00 2001
From: Thomas Krijnen <t.krijnen@gmail.com>
Date: Sat, 19 Mar 2022 10:49:51 +0100
Subject: [PATCH] #2095 take into account face-face distance on operand a

---
 src/ifcgeom/IfcGeomFunctions.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/ifcgeom/IfcGeomFunctions.cpp b/src/ifcgeom/IfcGeomFunctions.cpp
index 69e74a8102..ce4c94a6dc 100644
--- a/src/ifcgeom/IfcGeomFunctions.cpp
+++ b/src/ifcgeom/IfcGeomFunctions.cpp
@@ -5224,8 +5224,11 @@ bool IfcGeom::Kernel::boolean_operation(const TopoDS_Shape& a_input, const TopTo
 							PERF("boolean operation: result min face-face dist check");
 
 							if ((v = min_face_face_distance(r, 1.e-4)) < 1.e-4) {
-								reason = 2;
-								success = false;
+								// #2095 Check if this distance wasn't already realized in the input first operand.
+								if (v < min_face_face_distance(a, 1.e-4)) {
+									reason = 2;
+									success = false;
+								}
 							}
 						}