diff options
Diffstat (limited to 'lib-src')
| -rw-r--r-- | lib-src/etags.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib-src/etags.c b/lib-src/etags.c index bd57ede2f37..c39c93db336 100644 --- a/lib-src/etags.c +++ b/lib-src/etags.c | |||
| @@ -6597,8 +6597,6 @@ mercury_pr (char *s, char *last, ptrdiff_t lastlen) | |||
| 6597 | && c_isspace (s[pos - namelength - offset])) | 6597 | && c_isspace (s[pos - namelength - offset])) |
| 6598 | --offset; | 6598 | --offset; |
| 6599 | 6599 | ||
| 6600 | /* There is no need to correct namelength or call notinname. */ | ||
| 6601 | |||
| 6602 | make_tag (s + pos - namelength - offset, namelength - 1, true, | 6600 | make_tag (s + pos - namelength - offset, namelength - 1, true, |
| 6603 | s, pos - offset - 1, lineno, linecharno); | 6601 | s, pos - offset - 1, lineno, linecharno); |
| 6604 | return pos; | 6602 | return pos; |