diff options
Diffstat (limited to 'editor/pamrubber.c')
| -rw-r--r-- | editor/pamrubber.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/pamrubber.c b/editor/pamrubber.c index 4378c340..e7abd789 100644 --- a/editor/pamrubber.c +++ b/editor/pamrubber.c @@ -1405,7 +1405,7 @@ main(int argc, const char ** const argv) { setGlobalCP(cmdline); - srand(cmdline.randseedSpec ? cmdline.randseed : time(NULL)); + srand(cmdline.randseedSpec ? cmdline.randseed : pm_randseed()); ifP = pm_openr(cmdline.fileName); |