) hyps,
(text,prefix_len,concl))
) seqs)
- | GrafiteAst.NAuto (_loc, params) ->
+ | GrafiteAst.NAuto (_loc, (l,a)) ->
NTactics.auto_tac
- ~params
+ ~params:(List.map (fun x -> "",0,x) l,a)
| GrafiteAst.NCases (_loc, what, where) ->
NTactics.cases_tac
~what:(text,prefix_len,what)