tactics: fix example
tactics: fix example

Really need these to be squashed, or they could be relevant types!

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar