Fix incorrect kani::index example in loop-contracts documentation#4539

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

tautschnig:loop-contracts-exampletautschnig/kani:loop-contracts-exampleCopy head branch name to clipboard