Index: /issm/trunk-jpl/src/c/classes/ExternalResults/GenericExternalResult.h
===================================================================
--- /issm/trunk-jpl/src/c/classes/ExternalResults/GenericExternalResult.h	(revision 23049)
+++ /issm/trunk-jpl/src/c/classes/ExternalResults/GenericExternalResult.h	(revision 23050)
@@ -623,4 +623,8 @@
 	/*Specific instantiations for IssmDouble*: */
 #if defined(_HAVE_ADOLC_) && !defined(_WRAPPERS_)  //We hook off this specific specialization when not running ADOLC, otherwise we get a redeclaration with the next specialization. 
+template <> inline GenericExternalResult<IssmDouble*>::~GenericExternalResult(){ /*{{{*/
+	xDelete<char>(result_name);
+	xDelete<IssmDouble>(value);
+} /*}}}*/
 	template <> inline void GenericExternalResult<IssmDouble*>::WriteData(FILE* fid,bool io_gather){ /*{{{*/
 
@@ -743,4 +747,8 @@
 	}
 	/*}}}*/
+template <> inline GenericExternalResult<Vector<IssmDouble>*>::~GenericExternalResult(){ /*{{{*/
+	xDelete<char>(this->result_name);
+	delete value;
+} /*}}}*/
 #endif
 	template <> inline int GenericExternalResult<Vector<IssmPDouble>*>::ObjectEnum(void){ /*{{{*/