Remove unnecessary use of ns.follow in flattening [blocks: #3652]#3739

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:no-follow-2

Jan 11, 2019

Commits on Jan 9, 2019

Remove unnecessary use of ns.follow in flattening
tautschnig
committed