--- a/tool/CommandDomains.cpp Wed Feb 24 16:27:11 2010 +0100
+++ b/tool/CommandDomains.cpp Wed Feb 24 17:24:20 2010 +0100
@@ -110,7 +110,7 @@
m.open(MasterDevice::Read);
domains = selectedDomains(m);
- if (doIndent) {
+ if (domains.size() && doIndent) {
cout << "Master" << dec << *mi << endl;
}