From deebdaa96867dc4424d412956b3a2f595f4d4cc7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 1 Sep 2014 14:55:20 +0200
Subject: stm: use xlabel insted of label in dot (debug) output

---
 stm/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stm/stm.ml b/stm/stm.ml
index 20448947f3..81876e551d 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -311,7 +311,7 @@ end = struct
       let c1 = add_to_clus_or_ids from cf in
       List.iter (fun (dest, trans) ->
        let c2 = add_to_clus_or_ids dest (Dag.cluster_of graph dest) in
-       fprintf oc "%s -> %s [label=%s,labelfloat=%b];\n"
+       fprintf oc "%s -> %s [xlabel=%s,labelfloat=%b];\n"
            (node from) (node dest) (edge trans) (c1 && c2)) l
     );
     StateidSet.iter (nodefmt oc) !ids;
-- 
cgit v1.2.3