Index: /trunk/FACT++/gui/FactGui.h
===================================================================
--- /trunk/FACT++/gui/FactGui.h	(revision 12005)
+++ /trunk/FACT++/gui/FactGui.h	(revision 12006)
@@ -2826,6 +2826,4 @@
             }
         }
-
-        cout << "=> " << out.str() << endl;
 
         // srand(hash<string>()(string(info.getName())));