Index: src/Tuples/MultRet.cc
===================================================================
--- src/Tuples/MultRet.cc	(revision 6e7e2b36dcaa528c1778f81efe7654e171fb2197)
+++ src/Tuples/MultRet.cc	(revision 883b46c18dfa29091d8ebb464473bc685d37dcb7)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon May 18 12:37:57 2015
-// Update Count     : 1
+// Last Modified On : Mon Jun  8 14:54:44 2015
+// Update Count     : 2
 //
 
@@ -141,7 +141,6 @@
 	// Auxiliary function to generate new names for the `output' parameters
 	DeclStmt *MVRMutator::newVar( DeclarationWithType *reqDecl ) {
-		// std::ostrstream os;
+		// std::ostringstream os;
 		// os << "__" << curVal++ << "__";// << std::ends;
-		// os.freeze( false );
 
 		ObjectDecl *decl;