fix type inconsistencies when using temporary#2498

Closed

kroening wants to merge 1 commit intodevelopfrom

java-stack-typecasts

Commits on Jun 30, 2018

fix type inconsistencies when using temporary
Daniel Kroening
committed