Index: /issm/trunk-jpl/src/c/classes/Options/GenericOption.h
===================================================================
--- /issm/trunk-jpl/src/c/classes/Options/GenericOption.h	(revision 18917)
+++ /issm/trunk-jpl/src/c/classes/Options/GenericOption.h	(revision 18918)
@@ -132,3 +132,12 @@
 /*}}}*/
 
+/*Special destructors when there is a pointer*/
+template <> inline GenericOption<char*>::~GenericOption(){ /*{{{*/
+
+	if(name)   xDelete<char>(name);
+	if(size)   xDelete<int>(size);
+	if(value)  xDelete<char>(value);
+} 
+/*}}}*/
+
 #endif  /* _OPTIONOBJECT_H */