c++ example: call Z3_finalize_memory() so that the buildbot leak chec…

…ker doesnt complain about reachable memory
Z3Prover · Oct 24, 2020 · 9c08b60 · 9c08b60
1 parent aaa1af5
commit 9c08b60
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;
 }