X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fset.q;h=89d7ce2c494fb05a4f07b19793ded7a20e86bf29;hb=5382abe75bbd1689aca8c922fbf084af9f6bd723;hp=439d52a2ec2a3c12f76add3d1f5b722321bba1bc;hpb=55dee937e22a49d01794ef772076d9f9d84199e9;p=pspp

diff --git a/src/set.q b/src/set.q
index 439d52a2ec..89d7ce2c49 100644
--- a/src/set.q
+++ b/src/set.q
@@ -617,6 +617,7 @@ stc_custom_seed (struct cmd_set *cmd unused)
       set_seed = tokval;
       lex_get ();
     }
+  set_seed_used=1;
   return 1;
 }