diff --git a/tutorial/wmmltohtml2 b/tutorial/wmmltohtml2 index 8e672ebe4761bc46203420ba919080b8d6f94347..fd9ceb390a82f61c2154713995d319cc7fd5b913 100755 --- a/tutorial/wmmltohtml2 +++ b/tutorial/wmmltohtml2 @@ -9,6 +9,8 @@ import "."; int main(int argc, string *argv) { + random_seed(0); // increase cache hit potential + mixed *ER=catch { program output=(program)argv[2]; if (!output) error("can't cast %O to program\n",argv[2]);