Fixed a bug where the random number generator always returned zero.

[pspp-builds.git] / src / set.q

diff --git a/src/set.q b/src/set.q
index 439d52a2ec2a3c12f76add3d1f5b722321bba1bc..c4f80326b905f95507e34a65eb19cd8f961a03f1 100644 (file)
--- a/src/set.q
+++ b/src/set.q
@@ -114,7 +114,6 @@ int set_safer;
 int set_scompression;
 int set_screen;
 long set_seed;
-int set_seed_used;
 int set_testing_mode;
 int set_undefined;
 int set_viewlength;