Index: /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp
===================================================================
--- /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp	(revision 12499)
+++ /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp	(revision 12500)
@@ -25,6 +25,5 @@
 
 		/*allocate buffer for given string size*/
-		//buffer=xNew<char>(size);
-		buffer=(char*)xmalloc(size*sizeof(char));
+		buffer=xNew<char>(size);
 
 		/* Try to print in the allocated space. */
@@ -46,6 +45,5 @@
 		 size*=2;  /* twice the old size */
 
-		//xDelete<char>(buffer);
-		xfree((void**)&buffer);
+		xDelete<char>(buffer);
 	}