Merge pull request #12335 from mikedn/assert-prop-alloc
authorPat Gavlin <pgavlin@gmail.com>
Sun, 18 Jun 2017 02:43:46 +0000 (19:43 -0700)
committerGitHub <noreply@github.com>
Sun, 18 Jun 2017 02:43:46 +0000 (19:43 -0700)
commitcd72c54483f9ccdcde08cb42a683d2b4df181378
tree4c5c35528b1f329877b1f2100ca5f804515fb1ae
parent7c197b63914af560d467e8a95c04177495f160d9
parent53cc741cb949c540834172ee0e813a01bdcfae28
Merge pull request #12335 from mikedn/assert-prop-alloc

Remove unnecessary bitvec allocation in assertion prop