Index: /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp
===================================================================
--- /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp	(revision 12460)
+++ /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp	(revision 12461)
@@ -46,5 +46,6 @@
 		 size*=2;  /* twice the old size */
 
-		xDelete<char>(buffer);
+		//xDelete<char>(buffer);
+		xfree((void**)&buffer);
 	}