#3359 return early in case of no-prefiltering

This commit is contained in:
Thomas Krijnen
2023-07-06 11:21:17 +02:00
committed by GitHub
parent 70eabead92
commit 2ee0dcaf64
+1
View File
@@ -391,6 +391,7 @@ namespace {
void add(const TopoDS_Shape& s) {
if (!use_prefiltering_) {
items_.insert(items_.end(), s);
return;
}
TopoDS_Compound C;