From 9c08b60b5a53b3e4812efc8aa31bddfbf0268594 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sat, 24 Oct 2020 15:35:56 +0100
Subject: [PATCH] c++ example: call Z3_finalize_memory() so that the buildbot
 leak checker doesnt complain about reachable memory

---
 examples/c++/example.cpp | 1 +
 1 file changed, 1 insertion(+)

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;
 }