diff --git a/src/shell/main.cpp b/src/shell/main.cpp
index 0eb612f35..8239871a3 100644
--- a/src/shell/main.cpp
+++ b/src/shell/main.cpp
@@ -337,6 +337,7 @@ int main(int argc, char ** argv) {
         default:
             UNREACHABLE();
         }
+		memory::finalize();
 #ifdef _WINDOWS
         _CrtDumpMemoryLeaks();
 #endif