aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--common/placer1.cc2
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;
}
}