You should try another roll before you jump to conclusions whenever pushing film. If your next roll comes out underdeveloped, you can adjust with more exposure, or by increasing your development times by about 20%.