Only parameter-free constructors can be static initializer functions#2342

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:constructor

Jun 12, 2018

Commits on Jun 12, 2018

Only parameter-free constructors can be static initializer functions
tautschnig
committed