Misc.

git-svn-id: https://svn.onera.fr/Prelude/Prelude/trunk@892 49f62630-d767-4ccd-930e-b3f5589f52e1

WCET_aware/wcet-aware.plu

@@ -4,10 +4,10 @@ sensor i wcet 1;
 sensor j wcet 1;
 actuator o wcet 1;
 
-node main(k,l:int rate(50,0)) returns (o:int)
+node main(i,j:int rate(50,0)) returns (o:int)
 
 let
-  o=N(i,j) w< 8 backup M(k,l);
+  o=N(i,j) w< 8 backup M(i,j);
 tel
 
 -- translates into wcet-aware-bis.plu