Make remove_virtual_function() consistent#1864

Merged

tautschnig merged 2 commits intodiffblue:developfrom

owen-mc-diffblue:owen-jones-diffblue/consistent-casts-in-remove-virtual-function

Feb 23, 2018

Commits on Feb 19, 2018

Make remove_virtual_function() consistent
Owen Jones
committed

Commits on Feb 23, 2018

Test casts in remove_virtual_function()
Owen Jones
committed