graph: fix a memory leak

* src/graphviz.c (output_red): Here.
This commit is contained in:
Theophile Ranquet
2012-11-09 16:40:45 +00:00
committed by Akim Demaille
parent 9c16d39944
commit ccda5c9eac

View File

@@ -204,6 +204,7 @@ output_red (state const *s, reductions const *reds, FILE *fout)
} }
obstack_free (&eout, 0); obstack_free (&eout, 0);
obstack_free (&dout, 0); obstack_free (&dout, 0);
bitset_free (no_reduce_set);
} }
void void