Index: src/Common/SemanticError.h
===================================================================
--- src/Common/SemanticError.h	(revision cf0941d1a7dcb73725ea8b7f36c0940bf3f9f146)
+++ src/Common/SemanticError.h	(revision bfbf97fd336a16f671edb54bfb2f2bfafc74da32)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue May 19 07:22:23 2015
-// Update Count     : 1
+// Last Modified On : Mon Jun  8 14:38:53 2015
+// Update Count     : 4
 //
 
@@ -19,5 +19,5 @@
 #include <exception>
 #include <string>
-#include <strstream>
+#include <sstream>
 #include <list>
 #include <iostream>
@@ -42,8 +42,8 @@
 template< typename T >
 SemanticError::SemanticError( const std::string &error, const T *obj ) {
-	std::ostrstream os;
+	std::ostringstream os;
 	os << "Error: " << error;
 	obj->print( os );
-	errors.push_back( std::string( os.str(), os.pcount() ) );
+	errors.push_back( os.str() );
 }
 
Index: src/Common/UniqueName.cc
===================================================================
--- src/Common/UniqueName.cc	(revision cf0941d1a7dcb73725ea8b7f36c0940bf3f9f146)
+++ src/Common/UniqueName.cc	(revision bfbf97fd336a16f671edb54bfb2f2bfafc74da32)
@@ -10,10 +10,10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue May 19 07:23:41 2015
-// Update Count     : 1
+// Last Modified On : Mon Jun  8 14:47:49 2015
+// Update Count     : 3
 //
 
 #include <string>
-#include <strstream>
+#include <sstream>
 
 #include "UniqueName.h"
@@ -23,7 +23,7 @@
 
 std::string UniqueName::newName( const std::string &additional ) {
-	std::ostrstream os;
+	std::ostringstream os;
 	os << base << additional << count++;
-	return std::string( os.str(), os.pcount() );
+	return os.str();
 }
 
Index: src/Common/utility.h
===================================================================
--- src/Common/utility.h	(revision cf0941d1a7dcb73725ea8b7f36c0940bf3f9f146)
+++ src/Common/utility.h	(revision bfbf97fd336a16f671edb54bfb2f2bfafc74da32)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jun  4 21:29:57 2015
-// Update Count     : 9
+// Last Modified On : Mon Jun  8 14:43:54 2015
+// Update Count     : 13
 //
 
@@ -18,5 +18,5 @@
 
 #include <iostream>
-#include <strstream>
+#include <sstream>
 #include <iterator>
 #include <string>
@@ -130,10 +130,7 @@
 template < typename T > 
 std::string toString ( T value ) {
-	std::ostrstream os;
-  
+	std::ostringstream os;
 	os << value; // << std::ends;
-	os.freeze( false );
-
-	return std::string(os.str(), os.pcount());
+	return os.str();
 }