chore: fix typo in code snippet #13692

Job	Run time
build-nargo	2m 42s
build-noirc-abi	1m 23s
build-acvm-js	1m 18s
build-noir-wasm	4m 10s
ACVM JS (Browser)	1m 12s
ACVM JS (Node.js)	40s
noirc_abi	1m 12s
Example scripts	22s
noir_codegen	1m 8s
Noir JS	1m 13s
Check external repo - ${{ matrix.project.repo }}	0s
Integration Tests (Node)	2m 20s
noir_wasm	2m 12s
Integration Tests (Browser)	2m 20s
End	1s
	22m 13s

Provide feedback