fix a bug in ClaspSolver