Commit 1fd410bbe19362dedc0417198e3c052afcb1c113

Just van Rossum 2000-07-26T20:31:18

now that "type1z" is renamed to "type1"; revert to hardcoding "type1"..