diff options
Diffstat (limited to 'tests/source')
| -rw-r--r-- | tests/source/test4.scade | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/source/test4.scade b/tests/source/test4.scade index c66a56f..b32a37d 100644 --- a/tests/source/test4.scade +++ b/tests/source/test4.scade @@ -1,7 +1,7 @@ node test(i: int) returns(probe a, b, c: int; exit: bool) let exit = i >= 5; - a = 0 -> (if pre a > 10 then 0 else pre a + 1); + a = 0 -> (if pre a >= 10 then 0 else pre a + 1); b = 0 -> pre i; c = 0; tel |