From 5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 18 Jun 2014 11:34:36 +0200
Subject: Pretty printing.

---
 tests/source/test4.scade | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests')

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
-- 
cgit v1.2.3