diff --git a/examples/c++/example.cpp b/examples/c++/example.cpp
index 878c0a007..dfced2796 100644
--- a/examples/c++/example.cpp
+++ b/examples/c++/example.cpp
@@ -1342,5 +1342,6 @@ int main() {
     catch (exception & ex) {
         std::cout << "unexpected error: " << ex << "\n";
     }
+    Z3_finalize_memory();
     return 0;
 }