1 files changed, 4 insertions, 1 deletions
diff --git a/src/main.cc b/src/main.cc
index e341b526..dc0798e3 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -201,6 +201,7 @@ int main(int argc, char * argv[], char * envp[])
   // up everything by closing the session and deleting the session object, and
   // then shutting down the memory tracing subsystem.  Otherwise, let it all
   // leak because we're about to exit anyway.
+#if defined(VERIFY_ON)
   IF_VERIFY() {
     checked_delete(global_scope);
 
@@ -208,7 +209,9 @@ int main(int argc, char * argv[], char * envp[])
 #if defined(VERIFY_ON)
     shutdown_memory_tracing();
 #endif
-  } else {
+  } else
+#endif
+  {
     INFO("Ledger ended");       // let global_scope leak!
   }