atp-pragma: Updated error message.
atp-pragma: Updated error message.

Ignore-this: b94fac9dbed002167114748b5c9910bb

darcs-hash:20101117164212-3bd4e-10f14549d94022fc827d087d22f6b15a58d12c0d.gz

asr/fotc,asr/fotc