small fix in ClaspSolver