Merge branch 'master' into setjmp

1 files changed, 0 insertions, 7 deletions

diff --git a/bp.1.md b/bp.1.md
index 87892c9..782c84f 100644
--- a/bp.1.md
+++ b/bp.1.md
@@ -280,13 +280,6 @@ contain the word **"IGNORE"**)
 *name*`:` *pat*
 : Define *name* to mean *pat* (pattern definition)
 
-`(!)` *error-pat*
-: If *error-pat* matches, **bp** will not print any results in this file and
-instead print an error message to **STDERR** highlighting the matching position
-of *error-pat* in the file and printing the text of *error-pat* as an error
-message. Then, **bp** will exit with a failure status and not process any
-further files.
-
 `#` *comment*
 : A line comment