Fix mem leak in sha1_collision example. (#2588)

diff --git a/examples/hashsmt/sha1_collision.cpp b/examples/hashsmt/sha1_collision.cpp
index 3527074558c4d02b54f82cb78880ef479122f67f..2193c7b681c27246f05da6b2ab782d1c8aa73412 100644 (file)
--- 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;
   }