update Pristine.hs