The general 'rule of thumb' at any place offering a dining discount is tip based on the price without the discount. In practical terms, it might only be a few dollars different so I don't see it as that big of a deal. Typically people tip based on the quality of the service rather than some exact amount.