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