Do not assign to objects that have gone out of scope#1116

Merged

kroening merged 1 commit intodiffblue:masterfrom

tautschnig:fix-1115

Jul 13, 2017

Commits on Jul 11, 2017

Do not assign to objects that have gone out of scope
tautschnig
committed