X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/b9a0104860cfa2c2c75d9acbf93dc8f6532712ad..7223426a2bcc3bd92f0c6bed56cce0d76028558f:/src/getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 0113f337..b9a30698 100644
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -88,7 +88,7 @@ static const int trace_types[] =
 static void
 trace_argmatch (char *args)
 {
-  ARGMATCH_ASSERT (trace_args, trace_types);
+  verify (trace_constraint, ARGMATCH_CONSTRAINT (trace_args, trace_types));
   if (args)
     {
       args = strtok (args, ",");
@@ -139,7 +139,7 @@ static const int report_types[] =
 static void
 report_argmatch (char *args)
 {
-  ARGMATCH_ASSERT (report_args, report_types);
+  verify (report_constraint, ARGMATCH_CONSTRAINT (report_args, report_types));
   args = strtok (args, ",");
   do
     {