"Use" parse parameters.

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 0170f8e34fd4e4516043ee0b13f4e8887d38f5b7..2b6fa0fbbd11490404d39cfbd4e895e77353d9d0 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -103,11 +103,11 @@ static const int trace_types[] =
   trace_all
 };
 
+ARGMATCH_VERIFY (trace_args, trace_types);
 
 static void
 trace_argmatch (char *args)
 {
-  verify (trace_constraint, ARGMATCH_CONSTRAINT (trace_args, trace_types));
   if (args)
     {
       args = strtok (args, ",");
@@ -156,11 +156,11 @@ static const int report_types[] =
   report_all
 };
 
+ARGMATCH_VERIFY (report_args, report_types);
 
 static void
 report_argmatch (char *args)
 {
-  verify (report_constraint, ARGMATCH_CONSTRAINT (report_args, report_types));
   args = strtok (args, ",");
   do
     {