tactics: fix example
tactics: fix example

maybe unintended consequence: adding the `rec` keyword can cause a `let`
to fail.

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