1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.cc b/src/main.cc
index dd03206f..5f435d0b 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -209,6 +209,7 @@ int main(int argc, char * argv[], char * envp[])
     shutdown_memory_tracing();
 #endif
   } else {
+    global_scope.release();     // let it leak!
     INFO("Ledger ended");
   }