Documentation wording for replace function bodies#2368

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

polgreen:doc_replace_func_bodiespolgreen/cbmc:doc_replace_func_bodiesCopy head branch name to clipboard