correct RandomGenerator (for missing destructor)

src/NumA/random_generator/RandomGenerator.cpp

@@ -32,6 +32,9 @@ RandomGenerator::RandomGenerator() {
             ElemUtils::Formatter() << "Initial random seed set to " << m_seed);
 }
 
+RandomGenerator::~RandomGenerator() {
+}
+
 void RandomGenerator::configure(const ElemUtils::Parameters &parameters) {
 
     if (parameters.isAvailable(RandomGenerator::PARAM_NAME_SEED)) {