[Backport][MLIR] Properties.td fix from main commit 77f2560#165768

yu810226 wants to merge 1 commit intollvm:release/21.xllvm/llvm-project:release/21.xfrom

yu810226:backport-properties-fixyu810226/llvm-project:backport-properties-fixCopy head branch name to clipboard