Skip to content

Simplify code to avoid Visual Studio warnings#2445

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:vs-simpl
Jun 24, 2018

Commits

Commits on Jun 24, 2018