Index: /issm/trunk-jpl/src/c/classes/Params/GenericParam.h
===================================================================
--- /issm/trunk-jpl/src/c/classes/Params/GenericParam.h	(revision 20364)
+++ /issm/trunk-jpl/src/c/classes/Params/GenericParam.h	(revision 20365)
@@ -54,5 +54,5 @@
                 Object* copy() { return new GenericParam<P>(*this); };
 					 void Marshall(char** pmarshalled_data,int* pmarshalled_data_size, int marshall_direction){
-						 _printf_("   WARNING: parameter %s is a GenericParam and cannot be marshalled\n",EnumToStringx(this->myEnumVal));
+						 _printf_("   WARNING: parameter "<<EnumToStringx(this->myEnumVal)<<" is a GenericParam and cannot be marshalled\n");
 						 /*Nothing for now*/
 					 }