patch 8.2.3971: build fails

Problem:    Build fails.
Solution:   Use the right error message name.
This commit is contained in:
Bram Moolenaar
2022-01-01 16:01:23 +00:00
parent 74409f6279
commit 0699b040e6
2 changed files with 3 additions and 1 deletions

View File

@@ -749,6 +749,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
3971,
/**/
3970,
/**/