no need for cast for Java char literals#2813

Merged

kroening merged 1 commit intodevelopfrom

java-char-literals-are-char

Aug 22, 2018

Commits on Aug 22, 2018

no need for cast for Java char literals
Daniel Kroening
committed