It depends on the light you shot it in more than how you exposed it. If it was very contrasty light (e.g. dark shadows and bright areas in the same shot), and you overexposed, you will probably benefit by underdeveloping by at least 25 percent, and maybe more. If it was a "normal" brightness range, or a little contrasty, and you overexposed, a 15 to 20 percent pull would probably work well. It it was flat light, but not too flat, I would develop normally. If it was extremely flat, I would push one stop. An overexpose-overdevelop technique really adds snap to pix shot in very flat light, and makes printing them much easier.