Either/or. It depends on whether or not you want to hit your target gravity perfectly thereby ending up with the projected ABV%. Usually a little bit more or less extract won't matter that much. All grain brewers routinely are up or down a few gravity points on every batch, so depending on the recipe and your goals it shouldn't change the finished product much.