This is a tiny refactoring that removes one of the calls to mkStatePrimTy, in service to Trac #14596
Attach a file by drag & drop or click to upload
