Fix little typo in hal-simplicity command#19

jaoleal wants to merge 1 commit intoBlockstreamResearch:masterBlockstreamResearch/hal-simplicity:masterfrom

jaoleal:patch-2jaoleal/hal-simplicity:patch-2Copy head branch name to clipboard