X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FStmtEx.spl;h=ef8cb88ef7c57e3f250735414071f68433ca9f47;hb=7da52fb9413e5caa334f9f3cde809f85a94b5d54;hp=d52e5b72a679e6673cf6f2264878b2563d8cf8f5;hpb=1c2e08dc9d18c9ffb2b26ef936a407a813e4822e;p=cc1516.git diff --git a/examples/StmtEx.spl b/examples/StmtEx.spl index d52e5b7..ef8cb88 100644 --- a/examples/StmtEx.spl +++ b/examples/StmtEx.spl @@ -16,10 +16,10 @@ facR(n) :: Int -> Int { return 5; } -test(n) :: Int -> Bool { +test(e) :: Int -> Bool { var i = 0; facR(z); - while (n < 3) { + while (e < 3) { return True; } }