Everything works with optimization turned on now.

1 files changed, 2 insertions, 2 deletions

diff --git a/session.cc b/session.cc
index 3d22da7b..04ad3637 100644
--- a/session.cc
+++ b/session.cc
@@ -216,10 +216,10 @@ void shutdown()
   amount_t::shutdown();
 
   IF_VERIFY() {
-    INFO("Ledger has shutdown (Boost and libstdc++ may hold memory)");
+    INFO("Ledger shutdown (Boost/libstdc++ may still hold memory)");
     shutdown_memory_tracing();
   } else {
-    INFO("Ledger has shutdown");
+    INFO("Ledger shutdown");
   }
 }