Index: /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp
===================================================================
--- /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp	(revision 12437)
+++ /issm/trunk-jpl/src/c/shared/Exceptions/exprintf.cpp	(revision 12438)
@@ -9,5 +9,5 @@
 #include <stdarg.h>
 #include <stdio.h>
-#include "../Alloc/xNewDelete.h"
+#include "../Alloc/alloc.h"
 
 char* exprintf(const char* format,...){
@@ -17,5 +17,5 @@
 
 	/*Assum nobody will print more that 1024 characters!*/
-	string=xNew<char>(1024);//assume that nobody will print more than 1024 characters at once.
+	string=(char*)xmalloc(1024*sizeof(char));//assume that nobody will print more than 1024 characters at once.
                                                                                                                                                                                                      
 	//variable list of arguments