diff --git a/test/should_work/appli_para.lus b/test/should_work/appli_para.lus index 39ccec56a8ca2b80bfe598ce0a95fd0a65dbc59d..d802a54878219017820f92324d8cb652fd6c31fa 100644 --- a/test/should_work/appli_para.lus +++ b/test/should_work/appli_para.lus @@ -23,17 +23,17 @@ IMPORTANT: Ici on compile en --no-prefix pour avoir du code + lisible node D(x: int) returns (o: int); let - o = 0 -> (x - pre x) / 2; + o = x / 2; tel node A(x: int) returns (o: int); let - o = x + (0 -> pre o); + o = x * x; tel node C(x, y: int) returns (o: int); let - o = 0 -> pre (x + y); + o = x + y; tel