diff options
| -rw-r--r-- | common/placer1.cc | 2 |
1 files changed, 2 insertions, 0 deletions
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; } } |