back.rtlil: strip `\` from names added to `name_map`.#1155

whitequark merged 1 commit intoamaranth-lang:mainamaranth-lang/amaranth:mainfrom

wanda-phi:name-map-fixwanda-phi/amaranth:name-map-fixCopy head branch name to clipboard