Skip to content

Simplify code to avoid Visual Studio warnings#2445

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

Simplify code to avoid Visual Studio warnings#2445
kroening merged 1 commit intodiffblue:developfrom
tautschnig:vs-simpl

Commits

Commits on Jun 24, 2018