Generalize the display of semantic values and locations in traces.

[bison.git] / src / tables.c

diff --git a/src/tables.c b/src/tables.c
index 4e99f4add99911adfa9978401f5d806ce0d2c3cf..02d10f1573d9145f59d8717e62c087b6f3f53207 100644 (file)
--- a/src/tables.c
+++ b/src/tables.c
@@ -810,9 +810,8 @@ tables_generate (void)
   /* This is a poor way to make sure the sizes are properly
      correlated.  In particular the signedness is not taken into
      account.  But it's not useless.  */
-  verify (sizes_are_properly_correlated,
-         (sizeof nstates <= sizeof nvectors
-          && sizeof nvars <= sizeof nvectors));
+  verify (sizeof nstates <= sizeof nvectors
+         && sizeof nvars <= sizeof nvectors);
 
   nvectors = state_number_as_int (nstates) + nvars;