Fix type checking of ?: when one operand is void*#143

Merged

kroening merged 1 commit intodiffblue:masterfrom

tautschnig:typechecking-ternary

Jun 21, 2016

Commits on Jun 21, 2016

Fix type checking of ?: when one operand is void*
tautschnig
committed