Index: /issm/trunk-jpl/src/c/shared/Random/randomgenerator.cpp
===================================================================
--- /issm/trunk-jpl/src/c/shared/Random/randomgenerator.cpp	(revision 26592)
+++ /issm/trunk-jpl/src/c/shared/Random/randomgenerator.cpp	(revision 26593)
@@ -5,2 +5,7 @@
 #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 26592)
+++ /issm/trunk-jpl/src/c/shared/Random/randomgenerator.h	(revision 26593)
@@ -25,5 +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; }
@@ -44,7 +45,10 @@
 
   public:
+
+    /*constructors, destructors: */
     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; }
     double generator()