Fix allow-null initialization logic for class models#2346

Merged

peterschrammel merged 1 commit intodiffblue:developfrom

peterschrammel:fix-class-models-nondet

Jun 12, 2018

Commits on Jun 12, 2018

Fix allow-null initialization logic for class models
peterschrammel
committed