Whitespace normalization, via reindent.py.
diff --git a/Lib/lib-old/rand.py b/Lib/lib-old/rand.py
index c299d0a..a557b69 100644
--- a/Lib/lib-old/rand.py
+++ b/Lib/lib-old/rand.py
@@ -4,10 +4,10 @@
import whrandom
def srand(seed):
- whrandom.seed(seed%256, seed/256%256, seed/65536%256)
+ whrandom.seed(seed%256, seed/256%256, seed/65536%256)
def rand():
- return int(whrandom.random() * 32768.0) % 32768
+ return int(whrandom.random() * 32768.0) % 32768
def choice(seq):
- return seq[rand() % len(seq)]
+ return seq[rand() % len(seq)]