Index: src/SymTab/Mangler.cc
===================================================================
--- src/SymTab/Mangler.cc	(revision 843054c23fcb725d2486e5e42e91b3741bc523b8)
+++ src/SymTab/Mangler.cc	(revision 0df292b04fcd4abcd8d5a0f73a254c33e6494808)
@@ -10,6 +10,6 @@
 // Created On       : Sun May 17 21:40:29 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue May 19 16:50:47 2015
-// Update Count     : 3
+// Last Modified On : Mon Jun  8 15:12:12 2015
+// Update Count     : 8
 //
 
@@ -160,7 +160,6 @@
 		} else {
 			printQualifiers( typeInst );
-			std::ostrstream numStream;
+			std::ostringstream numStream;
 			numStream << varNum->second.first;
-			mangleName << (numStream.pcount() + 1);
 			switch ( (TypeDecl::Kind )varNum->second.second ) {
 			  case TypeDecl::Any:
@@ -174,5 +173,5 @@
 				break;
 			} // switch
-			mangleName << std::string( numStream.str(), numStream.pcount() );
+			mangleName << numStream.str();
 		} // if
 	}
@@ -220,5 +219,5 @@
 					sub_mangler.varNums = varNums;
 					(*assert)->accept( sub_mangler );
-					assertionNames.push_back( std::string( sub_mangler.mangleName.str(), sub_mangler.mangleName.pcount() ) );
+					assertionNames.push_back( sub_mangler.mangleName.str() );
 				} // for
 			} // for