Fix an example code in doc comments (cargo test tries to run it)#928

yczhangsjtu wants to merge 1 commit intomasterscroll-tech/ceno:masterfrom

fix/mpcs-test-in-examplescroll-tech/ceno:fix/mpcs-test-in-exampleCopy head branch name to clipboard