printf does not and should not have a left-hand side#2484

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:vs-printf

Jun 26, 2018

Commits on Jun 26, 2018

printf does not and should not have a left-hand side
tautschnig
committed