`format_type` can now format `range_typet`#8473

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

format-range_typetdiffblue/cbmc:format-range_typetCopy head branch name to clipboard