X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fbugs%2Frandom.sh;h=c7f3e8bee7fee13574a9c1ac98e7fd2de1325863;hb=5819d4ec857165ed6e0570688bf3df76027f2cf2;hp=869928d64ad834940d2615bd7db287f7bbba9f04;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp diff --git a/tests/bugs/random.sh b/tests/bugs/random.sh index 869928d64a..c7f3e8bee7 100755 --- a/tests/bugs/random.sh +++ b/tests/bugs/random.sh @@ -64,7 +64,7 @@ input program. + end case. + end loop. + end file. -end input program. +end input program. list. EOF