Index: trunk/ppSim/src/ppSimBadPixels.c
===================================================================
--- trunk/ppSim/src/ppSimBadPixels.c	(revision 20910)
+++ trunk/ppSim/src/ppSimBadPixels.c	(revision 23259)
@@ -74,5 +74,5 @@
     }
 
-    psRandom *pseudoRNG = psRandomAlloc(PS_RANDOM_TAUS, seed); // Pseudo-random number generator
+    psRandom *pseudoRNG = psRandomAllocSpecific(PS_RANDOM_TAUS, seed); // Pseudo-random number generator
 
     psImage *image = readout->image;    // Image of interest