From 5c05b62025e38676ecc79b4b0301d66bd699d7f0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Jun 2019 01:41:14 -0700
Subject: [PATCH] deallocate mux, fix script

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml          | 2 +-
 src/util/prime_generator.cpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 3b1dd0c0a..e4330a762 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -72,7 +72,7 @@ jobs:
         export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
         java -cp .:examples/java:com.microsoft.z3.jar JavaExample
         cd ..
-    - script |
+    - script: |
          cd build
          ./test-z3 -a
          cd ..
diff --git a/src/util/prime_generator.cpp b/src/util/prime_generator.cpp
index 58647fd83..d0b2cf6cf 100644
--- a/src/util/prime_generator.cpp
+++ b/src/util/prime_generator.cpp
@@ -129,4 +129,5 @@ uint64_t prime_iterator::next() {
 
 void prime_iterator::finalize() {
     g_prime_generator.finalize();
+    dealloc(g_prime_generator.m_mux);
 }