Fixed error in sol2.hs