diff options
Diffstat (limited to 'ext/pcre/pcrelib/pcre_printint.src')
| -rw-r--r-- | ext/pcre/pcrelib/pcre_printint.src | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ext/pcre/pcrelib/pcre_printint.src b/ext/pcre/pcrelib/pcre_printint.src index 86b02b5ca4..49d93174cc 100644 --- a/ext/pcre/pcrelib/pcre_printint.src +++ b/ext/pcre/pcrelib/pcre_printint.src @@ -534,6 +534,14 @@ for(;;) } break; + case OP_MARK: + case OP_PRUNE_ARG: + case OP_SKIP_ARG: + case OP_THEN_ARG: + fprintf(f, " %s %s", OP_names[*code], code + 2); + extra += code[1]; + break; + /* Anything else is just an item with no data*/ default: |