Fix for nondet replacement on a direct return pre-remove returns#2263

Merged

smowton merged 1 commit intodiffblue:developfrom

JohnDumbell:bugfix/nondet_direct_return

Jun 28, 2018

Commits on Jun 26, 2018

Fix for nondet replacement on a direct return (pre-remove returns)
JohnDumbell
committed