Index: /trunk/FACT++/src/Console.cc
===================================================================
--- /trunk/FACT++/src/Console.cc	(revision 10497)
+++ /trunk/FACT++/src/Console.cc	(revision 10498)
@@ -13,4 +13,5 @@
 #include "Console.h"
 
+#include <sstream>
 #include <iostream>
 
@@ -134,7 +135,7 @@
     const string siz = fLogO.GetSizeStr();
 
-    string rc = "[";
-    rc += GetLine();
-    return fContinous ? rc+']' : rc+':'+siz+']';
+    ostringstream str;
+    str << '[' << GetLine();
+    return fContinous ? str.str()+']' : str.str()+':'+siz+']';
 }
 
Index: /trunk/FACT++/src/Readline.cc
===================================================================
--- /trunk/FACT++/src/Readline.cc	(revision 10497)
+++ /trunk/FACT++/src/Readline.cc	(revision 10498)
@@ -55,4 +55,5 @@
 #include "Readline.h"
 
+#include <sstream>
 #include <fstream>
 #include <iostream>
@@ -536,7 +537,7 @@
 string Readline::GetLinePrompt() const
 {
-    string rc = "[";
-    rc += fLine;
-    return rc+"]";
+    ostringstream str;
+    str << '[' << fLine << ']';
+    return str.str();
 }
 
Index: /trunk/FACT++/src/ReadlineWindow.cc
===================================================================
--- /trunk/FACT++/src/ReadlineWindow.cc	(revision 10497)
+++ /trunk/FACT++/src/ReadlineWindow.cc	(revision 10498)
@@ -37,4 +37,5 @@
 #include "Shell.h"
 
+#include <sstream>
 #include <iostream>
 #include <string.h> // strlen
@@ -290,7 +291,6 @@
 
     // Compile a proper format string
-    string fmt = "%-";
-    fmt += max;
-    fmt + 's';
+    ostringstream fmt;
+    fmt << "%-" << max << 's';
 
     // loop over all entries and display them
@@ -307,5 +307,5 @@
 
         // Display an entry
-        wprintw(fWindow, fmt.c_str(), matches[i+1]);
+        wprintw(fWindow, fmt.str().c_str(), matches[i+1]);
     }
 
Index: /trunk/FACT++/src/StateMachineImp.cc
===================================================================
--- /trunk/FACT++/src/StateMachineImp.cc	(revision 10497)
+++ /trunk/FACT++/src/StateMachineImp.cc	(revision 10498)
@@ -715,7 +715,7 @@
     const StateNames::const_iterator i = fStateNames.find(state);
 
-    string rc;
-    rc += state;
-    return i==fStateNames.end() || i->second.first.empty() ? rc : i->second.first;
+    ostringstream s;
+    s << state;
+    return i==fStateNames.end() || i->second.first.empty() ? s.str() : i->second.first;
 }
 
@@ -754,10 +754,10 @@
     const string &str = GetStateName(state);
 
-    string s;
-    s += state;
-    if (str==s)
+    ostringstream s;
+    s << state;
+    if (str==s.str())
         return str;
 
-    return str.empty() ? s : (str+'['+s+']');
+    return str.empty() ? s.str() : (str+'['+s.str()+']');
 }
 
Index: /trunk/FACT++/src/WindowLog.cc
===================================================================
--- /trunk/FACT++/src/WindowLog.cc	(revision 10497)
+++ /trunk/FACT++/src/WindowLog.cc	(revision 10498)
@@ -16,4 +16,5 @@
 #include "WindowLog.h"
 
+#include <sstream>
 #include <iostream>
 #include <algorithm>
@@ -274,7 +275,7 @@
     }
 
-    string rc;
-    rc += s;
-    return rc + u;
+    ostringstream str;
+    str << s << u;
+    return str.str();
 }