From 4fd7cb497611fe75a2a2b75d5890b11475046b2c Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 16 Dec 2008 08:59:26 +0000
Subject: [PATCH] position of arrows in alignment

---
 src/PGF/VisualizeTree.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/PGF/VisualizeTree.hs b/src/PGF/VisualizeTree.hs
index ae91fd9de..401b30b96 100644
--- a/src/PGF/VisualizeTree.hs
+++ b/src/PGF/VisualizeTree.hs
@@ -111,7 +111,7 @@ lin2graph ss = prelude ++ nodes ++ links
     [edge i v w | (v@(_,p),_) <- lin, (w@(_,q),_) <- lin', p == q]
 
   edge i v w = 
-    struct i ++ ":" ++ mark v ++ " -> " ++ struct (i+1) ++ ":" ++ mark w ++ " ;"
+    struct i ++ ":" ++ mark v ++ ":e -> " ++ struct (i+1) ++ ":" ++ mark w ++ ":w ;"
 
 {-
 digraph{