From 30ee5e183fcf515c31679bc81a356c3cda00c382 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Sat, 21 Jan 2023 19:04:00 +0100 Subject: [PATCH] WIP: removed TODO markers - needs to stay like that (e.g. drcSimpleTests:48_drcWithFragments) --- src/db/db/dbAsIfFlatRegion.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/db/db/dbAsIfFlatRegion.cc b/src/db/db/dbAsIfFlatRegion.cc index bcfcf5fcf..11e73333e 100644 --- a/src/db/db/dbAsIfFlatRegion.cc +++ b/src/db/db/dbAsIfFlatRegion.cc @@ -1105,25 +1105,25 @@ AsIfFlatRegion::notch_check (db::Coord d, const RegionCheckOptions &options) con EdgePairsDelegate * AsIfFlatRegion::enclosing_check (const Region &other, db::Coord d, const RegionCheckOptions &options) const { - return run_check (db::OverlapRelation, true /*@@@false?*/, &other, d, options); + return run_check (db::OverlapRelation, true, &other, d, options); } EdgePairsDelegate * AsIfFlatRegion::overlap_check (const Region &other, db::Coord d, const RegionCheckOptions &options) const { - return run_check (db::WidthRelation, true /*@@@false?*/, &other, d, options); + return run_check (db::WidthRelation, true, &other, d, options); } EdgePairsDelegate * AsIfFlatRegion::separation_check (const Region &other, db::Coord d, const RegionCheckOptions &options) const { - return run_check (db::SpaceRelation, true /*@@@false?*/, &other, d, options); + return run_check (db::SpaceRelation, true, &other, d, options); } EdgePairsDelegate * AsIfFlatRegion::inside_check (const Region &other, db::Coord d, const RegionCheckOptions &options) const { - return run_check (db::InsideRelation, true /*@@@false?*/, &other, d, options); + return run_check (db::InsideRelation, true, &other, d, options); } EdgePairsDelegate *