Rebuild-goto-functions: call get_language_options#1435

smowton wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/rebuild-start-function-get-language-optionssmowton/cbmc:smowton/rebuild-start-function-get-language-optionsCopy head branch name to clipboard