| # | Line 40 | Line 40 | randomSPRNG::~randomSPRNG(){ | |
|---|---|---|
| 40 | } | |
| 41 | ||
| 42 | randomSPRNG::~randomSPRNG(){ | |
| 43 | < | |
| 44 | < | free_sprng(*thisStream); | 
| 45 | < | nStreamsInitialized--; | 
| 46 | < | |
| 43 | > | if ( thisStream != NULL){ | 
| 44 | > | // free_sprng(*thisStream); | 
| 45 | > | nStreamsInitialized--; | 
| 46 | > | } | 
| 47 | } | |
| 48 | ||
| 49 | ||
| – | Removed lines | 
| + | Added lines | 
| < | Changed lines | 
| > | Changed lines |