removed now-useless include

std::list is no longer used, header doesn't need to be included anymore