From 03c64bd519c9d8d317678d2cd7be2e79edb75ac2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Mon, 6 Feb 2017 18:01:20 +0100
Subject: [PATCH] Updated test modular.ept

---
 test/sdc/modular.ept | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/test/sdc/modular.ept b/test/sdc/modular.ept
index bb4fff6..72c1b0c 100644
--- a/test/sdc/modular.ept
+++ b/test/sdc/modular.ept
@@ -12,14 +12,12 @@ let
     do
       y = true;
     unless (r=Bas) & c then Bas
-    |
     state Bas
     do
       y = false
     unless (r=Haut) or c then Haut
     end;
-  y =
-  tel
+tel
 
 node g(u,v:bool;m :t) = (z:bool)
     contract