Fix push parsing memory leak reported by Brandon Lucia at

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 0938c6980b732ddae3e11dc6c4eed853d1544235..4ff38fb188594e2ce0373bf6f5dd98c89fe5ccbe 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -25,6 +25,7 @@
 #include "revision.h"
 
 #include <argmatch.h>
+#include <c-strcase.h>
 #include <configmake.h>
 #include <error.h>
 
@@ -366,7 +367,7 @@ language_argmatch (char const *arg, int prio, location const *loc)
     {
       int i;
       for (i = 0; valid_languages[i].language[0]; i++)
-       if (strcasecmp (arg, valid_languages[i].language) == 0)
+       if (c_strcasecmp (arg, valid_languages[i].language) == 0)
          {
            language_prio = prio;
            language = &valid_languages[i];