Index: src/ControlStruct/LabelGenerator.cc
===================================================================
--- src/ControlStruct/LabelGenerator.cc	(revision eb3261fd6cc2439133a09df37e3122c389e05622)
+++ src/ControlStruct/LabelGenerator.cc	(revision 81419b56599b36f14d08bf2cbd8c25893ee2f52b)
@@ -9,11 +9,11 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 03 14:23:26 2015
-// Update Count     : 9
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Jun  8 14:45:07 2015
+// Update Count     : 12
 //
 
 #include <iostream>
-#include <strstream>
+#include <sstream>
 
 #include "LabelGenerator.h"
@@ -30,8 +30,7 @@
 
 	Label LabelGenerator::newLabel(std::string suffix) {
-		std::ostrstream os;
+		std::ostringstream os;
 		os << "__L" << current++ << "__" << suffix;
-		os.freeze( false );
-		std::string ret = std::string (os.str(), os.pcount());
+		std::string ret = os.str();
 		return Label( ret );
 	}