Do not try to delete void*, behavior is undefined.

include/dynamic-graph/value.h

@@ -59,6 +59,7 @@ namespace dynamicgraph {
 	NB_TYPES
       };
       ~Value();
+      void deleteValue ();
       explicit Value(const bool& value);
       explicit Value(const unsigned& value);
       explicit Value(const int& value);

src/command/value.cpp

@@ -67,7 +67,7 @@ namespace dynamicgraph {
       return value_->matrixValue();
     }
 
-    Value::~Value()
+    void Value::deleteValue ()
     {
       switch(type_) {
       case BOOL:
@@ -98,6 +98,11 @@ namespace dynamicgraph {
       }
     }
 
+    Value::~Value()
+    {
+      deleteValue ();
+    }
+
     Value::Value(const bool& value) : type_(BOOL), value_(new bool(value))
     {
     }
@@ -179,9 +184,9 @@ namespace dynamicgraph {
     Value Value::operator=(const Value& value)
     {
       if (&value != this) {
-	type_ = value.type_;
 	if(value_ != 0x0)
-		delete value_;
+	  deleteValue ();
+	type_ = value.type_;
 	void** ptValue = const_cast<void**>(&value_);
 	*ptValue = copyValue(value);
       }