RawVec proof: insert line breaks for readability - #462

RawVec proof: insert line breaks for readability#462

btj wants to merge 2 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

btj:verifast-raw-vecbtj/verify-rust-std:verifast-raw-vecCopy head branch name to clipboard