Remove pretty_ty and use rustc_public's formatter instead#4243

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:no-pretty_tytautschnig/kani:no-pretty_tyCopy head branch name to clipboard