1.1 --- a/src/demo/dim_to_dot.cc	Sat Nov 13 12:24:01 2004 +0000
     1.2 +++ b/src/demo/dim_to_dot.cc	Sat Nov 13 12:53:28 2004 +0000
     1.3 @@ -51,7 +51,7 @@
     1.4    }
     1.5    cout << "  edge [ shape=ellipse, fontname=Helvetica, fontsize=10 ];" << endl;
     1.6    for(EdgeIt e(g); e!=INVALID; ++e) {
     1.7 -    cout << "  n" << g.id(g.tail(e)) << " -> " << " n" << g.id(g.head(e))
     1.8 +    cout << "  n" << g.id(g.source(e)) << " -> " << " n" << g.id(g.target(e))
     1.9  	 << " [ label=\"" << g.id(e) 
    1.10  	 << ", length:" << length[e] << "\" ]; " << endl;
    1.11    }