Lines Matching full:aborts
3944 @command{@value{AS}} aborts with an error message in this situation.
