projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bff00f5) | patch
Fix compiler warning in hashsmt example (#1927)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 21 May 2018 18:00:44 +0000 (21:00 +0300)
committerGitHub <noreply@github.com>
Mon, 21 May 2018 18:00:44 +0000 (21:00 +0300)
commit355dcf6675673b7b671a6452b56a29c7663882dc
tree369f5a60a11f370625e1fc793d2173f15dfa5027tree
parentbff00f51cd0d2f59262aa18ff3e217a78503ae7acommit | diff
Fix compiler warning in hashsmt example (#1927)

Previously, we were using delete for an array allocated on the heap,
which caused a warning. @dddejan fixed this and other issues in PR #1909
but after @ajreynol fixed the other issues in a separate PR and to not
waste @dddejan's time, I am submitting this fix separately (note: the
fix is slightly different in that it changes the array to a vector,
making a delete[] unnecessary).
examples/hashsmt/sha1_inversion.cpp diff | blob | history