split up remove_function_pointerst::remove_function_pointer#2870

Merged

tautschnig merged 2 commits intodevelopfrom

split_remove_function_pointer

Sep 3, 2018

Commits on Sep 3, 2018

split up remove_function_pointerst::remove_function_pointer

Daniel Kroening
authored and
tautschnig
committed
add a precondition to remove_function_pointerst::remove_function_pointer

Daniel Kroening
authored and
tautschnig
committed