Remove constructor declaration that has no implementation#2396

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:vs-constructor

Jun 23, 2018

Commits on Jun 23, 2018

Remove constructor declaration that has no implementation
tautschnig
committed