chore: remove redundant words in comment#464

jishudashen wants to merge 1 commit intoinput-output-hk:maininput-output-hk/ouroboros-leios:mainfrom

jishudashen:mainjishudashen/ouroboros-leios:mainCopy head branch name to clipboard