From 90e391f4dff37d18c756909cf6e714b0d4660359 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Mon, 16 Jul 2012 01:00:09 +0200
Subject: [PATCH] Modified test t13.ept

Modified test t13.ept so that the output is not always "0"
(useful for further comparisons)
---
 test/good/t13.ept | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/good/t13.ept b/test/good/t13.ept
index 375db60..8a2954d 100644
--- a/test/good/t13.ept
+++ b/test/good/t13.ept
@@ -6,7 +6,7 @@ tel
 node fourth() returns (res : bool)
 var tmp : int;
 let
-  tmp = 0 fby (if res then 0 else tmp + 1);
+  tmp = 0 fby (if res then tmp + 1 else 0);
   res = tmp = 0;
 tel