Index: /issm/trunk-jpl/src/c/shared/Random/randomgenerator.cpp
===================================================================
--- /issm/trunk-jpl/src/c/shared/Random/randomgenerator.cpp	(revision 26593)
+++ /issm/trunk-jpl/src/c/shared/Random/randomgenerator.cpp	(revision 26594)
@@ -5,7 +5,2 @@
 #include <iostream>
 #include "./randomgenerator.h"
-
-
-rnd_uniform_distribution::~rnd_uniform_distribution(){}
-
-rnd_normal_distribution::~rnd_normal_distribution(){}
Index: /issm/trunk-jpl/src/c/shared/Random/randomgenerator.h
===================================================================
--- /issm/trunk-jpl/src/c/shared/Random/randomgenerator.h	(revision 26593)
+++ /issm/trunk-jpl/src/c/shared/Random/randomgenerator.h	(revision 26594)
@@ -25,6 +25,6 @@
     rnd_uniform_distribution() : _seed( 0 ), a( 1103515245 ), c( 12345 ), m( 2147483648 ), lbound(0.0), ubound(1.0) {}
     rnd_uniform_distribution(double a_1,double a_2) : _seed( 0 ), a( 1103515245 ), c( 12345 ), m( 2147483648 ), lbound(a_1), ubound(a_2) {}
-    ~rnd_uniform_distribution();
-    
+    ~rnd_uniform_distribution(){}
+
     void seed( unsigned int s ) { _seed = s; }
     unsigned int get_seed() { return _seed; }
@@ -49,5 +49,5 @@
     rnd_normal_distribution() : _seed( 0 ), mean( 0), sdev(1.0) {}
     rnd_normal_distribution(double m,double s) : _seed( 0 ), mean( m ), sdev(s) {}
-    ~rnd_normal_distribution();
+    ~rnd_normal_distribution(){}
 
     void seed( unsigned int s ) { _seed = s; }