1 files changed, 2 insertions, 2 deletions
diff --git a/common/router1.cc b/common/router1.cc
index dae8d8cb..2ae54245 100644
--- a/common/router1.cc
+++ b/common/router1.cc
@@ -813,15 +813,15 @@ bool router1(Context *ctx)
         log_info("Checksum: 0x%08x\n", ctx->checksum());
 #ifndef NDEBUG
         ctx->check();
-        ctx->unlock();
 #endif
         compute_fmax(ctx, true /* print_fmax */, true /* print_path */);
+        ctx->unlock();
         return true;
     } catch (log_execution_error_exception) {
 #ifndef NDEBUG
         ctx->check();
-        ctx->unlock();
 #endif
+        ctx->unlock();
         return false;
     }
 }