| NId _ -> "nid"
| NIntro (_,n) -> "#" ^ n
| NRewrite (_,dir,n,where) -> "nrewrite" ^ assert false
- | NReduce _ | NGeneralize _ | NLetIn _ | NAssert _ -> assert false
+ | NReduce _ | NGeneralize _ | NLetIn _ | NAssert _ | NAuto _ -> assert false
;;
let rec pp_tactic ~map_unicode_to_tex ~term_pp ~lazy_term_pp =