[PATCH 3/6] graph: fix a memory leak

[Theophile Ranquet]

* src/graphviz.c (output_red): Here.
---
 src/graphviz.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/graphviz.c b/src/graphviz.c
index 3ae0b54..ec102a4 100644
--- 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);
+  bitset_free (no_reduce_set);
 }
 
 void
-- 
1.7.11.4