The command has indeed failed with message:
Illegal tactic application: got 1 extra argument.
The command has indeed failed with message:
Illegal tactic application: got 2 extra arguments.
The command has indeed failed with message:
Illegal tactic application: got 1 extra argument.
The command has indeed failed with message:
Illegal tactic application: got 2 extra arguments.