From a832cc5c2544d632d6e039320621f713d11ee258 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Wed, 5 Jan 2011 15:50:01 +0100
Subject: [PATCH] Small clocking test

---
 test/bad/clocking.ept | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/bad/clocking.ept

diff --git a/test/bad/clocking.ept b/test/bad/clocking.ept
new file mode 100644
index 0000000..112af6d
--- /dev/null
+++ b/test/bad/clocking.ept
@@ -0,0 +1,6 @@
+node f (i:int; c:bool) returns (x:int)
+var t:int;
+let
+  t = 0 fby t when true(c);
+  x = i;
+tel