tool/CommandGraph.cpp
changeset 1804 742607c464c4
parent 1426 af45bba80d85
child 1826 ec6223c3b7ec
--- a/tool/CommandGraph.cpp	Tue Feb 02 19:38:32 2010 +0100
+++ b/tool/CommandGraph.cpp	Fri Feb 05 10:29:47 2010 +0100
@@ -119,7 +119,7 @@
     cout << endl;
 
     for (si = slaves.begin(); si != slaves.end(); si++) {
-	    cout << "    slave" << si->position << " [shape=\"box\""
+        cout << "    slave" << si->position << " [shape=\"box\""
             << ",label=\"" << si->position;
         if (string(si->order).size())
             cout << "\\n" << si->order;