let status, to_what =
match to_what with
None -> status,None
- | Some to_what -> status, Some (disambiguate_term status to_what) in
+ | Some to_what ->
+ let status, to_what = disambiguate_term status to_what in
+ status, Some to_what
+ in
let status, what = disambiguate_term status what in
- status, TacticAst.LApply (loc, None, what)
+ status, TacticAst.LApply (loc, to_what, what)
| TacticAst.Left loc -> status, TacticAst.Left loc
| TacticAst.LetIn (loc, term, name) ->
let status, term = disambiguate_term status term in