Update Solver.oz

spelling