graphs: style: prefix state number with "state"

* src/print_graph.c (print_core): Here.

Signed-off-by: Akim Demaille <akim@lrde.epita.fr>

diff --git a/src/print_graph.c b/src/print_graph.c
index d1496af..2e3fd46 100644 (file)
--- a/src/print_graph.c
+++ b/src/print_graph.c
@@ -55,7 +55,7 @@ print_core (struct obstack *oout, state *s)
       snritems = nitemset;
     }
 
-  obstack_printf (oout, "%d\\n", s->number);
+  obstack_printf (oout, "state %d\\n", s->number);
   for (i = 0; i < snritems; i++)
     {
       item_number *sp;