Alternative to `torch.Generator` for using `mps`

mps
1

Is there an alternative to using torch.Generator? When used as follows, even with PyTorch version: 1.13.0, the subsequent error is given.

device = 'mps'
generator = torch.Generator(device).manual_seed(int(seed))    

RuntimeError: Device type MPS is not supported for torch.Generator() api.