[mlir] [docs] Minor documentation fix in `mlir-reduce` docs#142479

snarang181 wants to merge 1 commit intollvm:mainllvm/llvm-project:mainfrom

snarang181:mlir-doc-fixsnarang181/llvm-project:mlir-doc-fixCopy head branch name to clipboard