diff --git a/common/placer1.cc b/common/placer1.cc index 1ba50e28..92f42ba7 100644 --- a/common/placer1.cc +++ b/common/placer1.cc @@ -1256,6 +1256,7 @@ bool placer1(Context *ctx, Placer1Cfg cfg) #ifndef NDEBUG ctx->check(); #endif + ctx->unlock(); return false; } } @@ -1276,6 +1277,7 @@ bool placer1_refine(Context *ctx, Placer1Cfg cfg) #ifndef NDEBUG ctx->check(); #endif + ctx->unlock(); return false; } }