remove_const_function_pointerst isn't a messaget#5614

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:messaget-remove_const_function_pointerstautschnig/cbmc:messaget-remove_const_function_pointersCopy head branch name to clipboard