Removed semicolon from Solver