Merge pull request #10484 from mikedn/map-vn-assert
authorJoseph Tremoulet <JCTremoulet@gmail.com>
Mon, 27 Mar 2017 15:45:18 +0000 (11:45 -0400)
committerGitHub <noreply@github.com>
Mon, 27 Mar 2017 15:45:18 +0000 (11:45 -0400)
commit61830e9d70423d0d48bf1d2912fdb921d618e60f
tree39616d83e0b25fa44de6488fd5bf941e259255e3
parent48e244855c98c6f280c986d0981238f403a49ff3
parentfb604c571325fb1a2d4e2b0d5f98dce61f1f0475
Merge pull request #10484 from mikedn/map-vn-assert

Correctly update bitvector in optAddVnAssertionMapping