If you have an allergy to nuts, do you have to mention it to your restaurant server?
Yes you should always let your server know so that you won't be eating something that will cause a problem for you and for the restaurant later. Your server will appreciate that.