Update aux.hs