add: minor naming fix#3759

jerryz123 merged 1 commit intochipsalliance:masterchipsalliance/rocket-chip:masterfrom

iansseijelly:trace-file-name-fixiansseijelly/rocket-chip:trace-file-name-fixCopy head branch name to clipboard