From 0fb4d4e9ac57e084ef456548358439cc07d2c7d3 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 3 Oct 2018 22:58:06 -0700
Subject: [PATCH] Fix mem leak in sha1_collision example. (#2588)

---
 examples/hashsmt/sha1_collision.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/examples/hashsmt/sha1_collision.cpp b/examples/hashsmt/sha1_collision.cpp
index 352707455..2193c7b68 100644
--- a/examples/hashsmt/sha1_collision.cpp
+++ b/examples/hashsmt/sha1_collision.cpp
@@ -100,6 +100,9 @@ int main(int argc, char* argv[]) {
     // Checksat command
     output << CheckSatCommand() << endl;
 
+    delete[] cvc4input1;
+    delete[] cvc4input2;
+
   } catch (CVC4::Exception& e) {
     cerr << e << endl;
   }
-- 
2.30.2