graph: fix a memory leak

* src/graphviz.c (output_red): Here.

diff --git a/src/graphviz.c b/src/graphviz.c
index 3ae0b54660a3c9d2eb63204800cdc7b56f90aea5..ec102a496ac028cd8a0d1262d26af43e203476a9 100644 (file)
--- a/src/graphviz.c
+++ b/src/graphviz.c
@@ -204,6 +204,7 @@ output_red (state const *s, reductions const *reds, FILE *fout)
     }
   obstack_free (&eout, 0);
   obstack_free (&dout, 0);
     }
   obstack_free (&eout, 0);
   obstack_free (&dout, 0);

+  bitset_free (no_reduce_set);

 }
 
 void
 }
 
 void