Index: /issm/trunk/src/c/objects/Params/DoubleParam.cpp
===================================================================
--- /issm/trunk/src/c/objects/Params/DoubleParam.cpp	(revision 3887)
+++ /issm/trunk/src/c/objects/Params/DoubleParam.cpp	(revision 3888)
@@ -137,4 +137,17 @@
 }
 /*}}}*/
+/*FUNCTION DoubleParam::GetParameterValue(bool* pbool) {{{1*/
+void DoubleParam::GetParameterValue(bool* pbool){
+#ifdef _SERIAL_
+
+	/*If debugging mode, cheeck that the double is 0 or 1*/
+	ISSMASSERT(value==0 || value==1);
+	*pbool=(bool)value;
+
+#else
+	ISSMERROR("Double param of enum %i (%s) cannot return an bool",enum_type,EnumAsString(enum_type));
+#endif
+}
+/*}}}*/
 
 /*FUNCTION DoubleParam::ProcessParams(double* partition,int numberofvertices);{{{1*/
Index: /issm/trunk/src/c/objects/Params/DoubleParam.h
===================================================================
--- /issm/trunk/src/c/objects/Params/DoubleParam.h	(revision 3887)
+++ /issm/trunk/src/c/objects/Params/DoubleParam.h	(revision 3888)
@@ -63,5 +63,5 @@
 		/*Param methods: {{{1*/
 		int   EnumType(){return enum_type;}
-		void  GetParameterValue(bool* pbool){ISSMERROR("Double param of enum %i (%s) cannot return a bool",enum_type,EnumAsString(enum_type));}
+		void  GetParameterValue(bool* pbool);
 		void  GetParameterValue(int* pinteger);
 		void  GetParameterValue(double* pdouble){*pdouble=value;}