46.12. relModName

relModName releases a MODULE name association previously established for dummyName by setModName. It is an error if modName is not a valid MODULE name, i.e., a valid MAINSAIL identifier. No error occurs if no MODULE name association was established for dummyName.