From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 4 Oct 2018 05:58:06 +0000 (-0700)
Subject: Fix mem leak in sha1_collision example. (#2588)
X-Git-Tag: cvc5-1.0.0~4461
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0fb4d4e9ac57e084ef456548358439cc07d2c7d3;p=cvc5.git

Fix mem leak in sha1_collision example. (#2588)
---

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