X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FStmtEx.spl;h=ef8cb88ef7c57e3f250735414071f68433ca9f47;hb=da76566f1640467256a8f4e166ebfcd3731aef4b;hp=d52e5b72a679e6673cf6f2264878b2563d8cf8f5;hpb=2302fbd1f7421f6824879e64d904157acb9797b1;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; } }