[PATCH] D13441: Fix pr25040 - Handle vectors of i1s in recently added implication code

[Arnaud A. de Grandmaison via llvm-commits]

aadg added a subscriber: aadg.
aadg accepted this revision.
aadg added a reviewer: aadg.
aadg added a comment.
This revision is now accepted and ready to land.

This looks good to me.

Thanks !


http://reviews.llvm.org/D13441