		Search-engine friendly clone of the ACL2 documentation.

Er-soft

Print an error message and ``cause a soft error''

See er for relevant background, which is assumed below, and related utilities.

General Form:
(er-soft context summary str &rest str-args)

where context is a legal context (see ctx), summary is nil or a string, str is a string, and str-args are tsee fmt arguments for str. The use of a non-nil summary allows suppression of this error message without suppressing all error output; see set-inhibit-er.

See er-hard for a similar utility pertaining to ``hard'' errors.