]> git.saurik.com Git - bison.git/commitdiff
(trace_argmatch, report_argmatch): Use verify rather than assert.
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 21 Nov 2002 05:17:21 +0000 (05:17 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 21 Nov 2002 05:17:21 +0000 (05:17 +0000)
src/getargs.c

index 0113f3370f5e877773394d0cf35bf0bf8b5e2a1e..b9a30698e5db7ffbec5d7dae978bd027433e4920 100644 (file)
@@ -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
     {