Removing unnecessary yield statement that older g++ doesn't have.

	modified:   src/binary_state_solver.cpp