From 62068da23236672cf4697c3732e7ff9d4e331672 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Bourdeauducq?= Date: Fri, 31 Mar 2017 17:29:37 +0800 Subject: [PATCH] scan: fix RandomScan seeding --- artiq/language/scan.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/artiq/language/scan.py b/artiq/language/scan.py index 2ba8ef2d4..e29748014 100644 --- a/artiq/language/scan.py +++ b/artiq/language/scan.py @@ -103,7 +103,7 @@ class RandomScan(ScanObject): if seed is None: rf = random.random else: - rf = Random(seed).random + rf = random.Random(seed).random random.shuffle(self.sequence, rf) @portable