diff options
Diffstat (limited to 'Build/source/texk/chktex/chktex-1.7.1-PATCHES/patch-14-finderrs')
-rw-r--r-- | Build/source/texk/chktex/chktex-1.7.1-PATCHES/patch-14-finderrs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Build/source/texk/chktex/chktex-1.7.1-PATCHES/patch-14-finderrs b/Build/source/texk/chktex/chktex-1.7.1-PATCHES/patch-14-finderrs deleted file mode 100644 index 16ba4c47b5e..00000000000 --- a/Build/source/texk/chktex/chktex-1.7.1-PATCHES/patch-14-finderrs +++ /dev/null @@ -1,11 +0,0 @@ ---- FindErrs.c (revision 242) -+++ FindErrs.c (working copy) -@@ -918,7 +918,7 @@ - /* Default -- show the match */ - PSERR2(offset + MATCH.rm_so, MATCH.rm_eo - MATCH.rm_so, - emUserWarnRegex, -- MATCH.rm_eo - MATCH.rm_so, -+ (int)(MATCH.rm_eo - MATCH.rm_so), - TmpBuffer + offset + MATCH.rm_so); - } - offset += MATCH.rm_eo; |