#3359 return early in case of no-prefiltering

2026-08-12 02:23:34 +00:00 · 2023-07-06 11:21:17 +02:00
parent 8f6f03cd27
commit 26d0f98cd9
1 changed files with 1 additions and 0 deletions
@@ -393,6 +393,7 @@ namespace {
 		void add(const TopoDS_Shape& s) {
 			if (!use_prefiltering_) {
 				items_.insert(items_.end(), s);
+				return;
 			}

 			TopoDS_Compound C;