(__GNU_LIBRARY__) [lint]: Define to work around

[bison.git] / src / LR0.c

diff --git a/src/LR0.c b/src/LR0.c
index 693c41bf49bc1646e3bcdcf6c3475c67f43576f6..ae39b7ce5033433d5d5d9e8748540de4e1396a71 100644 (file)
--- a/src/LR0.c
+++ b/src/LR0.c
@@ -157,7 +157,7 @@ free_storage (void)
   free (shiftset);
   free (kernel_base);
   free (kernel_size);
   free (shiftset);
   free (kernel_base);
   free (kernel_size);

-  free (kernel_items);
+  XFREE (kernel_items);

   state_hash_free ();
 }
 
   state_hash_free ();
 }