docs(prover): correct prove() exit code doc comment#2395

eviehoward wants to merge 1 commit into

NVIDIA:mainNVIDIA/OpenShell:mainfrom

eviehoward:2394-fix-prover-exit-code-doc/eviehowardeviehoward/OpenShell:2394-fix-prover-exit-code-doc/eviehowardCopy head branch name to clipboard