From 9fc99ca35009c1be76ce1c73133833ad82562a8b Mon Sep 17 00:00:00 2001
From: Theophile Ranquet <theophile.ranquet@gmail.com>
Date: Wed, 10 Oct 2012 17:14:04 +0000
Subject: [PATCH] graphs: style: prefix state number with "state"

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

Signed-off-by: Akim Demaille <akim@lrde.epita.fr>
---
 src/print_graph.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/print_graph.c b/src/print_graph.c
index d1496af7..2e3fd460 100644
--- 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;
-- 
2.45.2