- | ECallTactic (loc, _, []) -> Filename.quote ""
- | ECallTactic (loc, _, (arg :: _)) -> expr_to_shell_string env arg
+ | ETacticConstructor (loc, _, []) -> Filename.quote ""
+ | ETacticConstructor (loc, _, (arg :: _)) -> expr_to_shell_string env arg