diff --git a/release-lv6/Makefile b/release-lv6/Makefile
index 1f41617826a03296da9c017c1ebde52e6955430a..8e45edb70ef05677193544614141a58af52829f6 100644
--- a/release-lv6/Makefile
+++ b/release-lv6/Makefile
@@ -3,7 +3,7 @@
 LIC2CDIR=~/lic2loc
 LUS2LICDIR=~/lus2lic
 LUS2LIC=$(LUS2LICDIR)/src/lus2lic
-WWW_DIR=/usr/local/www/DIST-TOOLS/SYNCHRONE/lustre-v6
+WWW_DIR=/import/www/DIST-TOOLS/SYNCHRONE/lustre-v6
 
 ifeq ($(HOSTTYPE),cygwin)
 WWW_DIR=//ARPONT/www-verimag/DIST-TOOLS/SYNCHRONE/lustre-v6
diff --git a/src/Makefile b/src/Makefile
index dc6ec7d50f512232e87befd2d7869ba3c9b73091..3619d0f8c56c9204c559a8196a1146de1eec6036 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,6 +1,6 @@
 
 OCAMLMAKEFILE = ./OCamlMakefile
-RESULT=lus2lic
+RESULT=lus2lic$(EXE)
 
 LIBS = str unix
 
diff --git a/src/parser.mly b/src/parser.mly
index db6b4ac1f4f3ffa49c4fe0054e0f29cbfa507294..edb887d5264fde3c982d423d69ee7ade45e15412 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -110,9 +110,10 @@ open ParserUtils
 %left TK_ARROW
 %nonassoc TK_STEP
 %nonassoc TK_CDOTS
+%right TK_IMPL
 %left TK_OR TK_XOR
 %left TK_AND
-%nonassoc TK_LT TK_LTE TK_EQ TK_GTE TK_GT TK_NEQ TK_IMPL 
+%nonassoc TK_LT TK_LTE TK_EQ TK_GTE TK_GT TK_NEQ  
 %nonassoc TK_NOT
 %left TK_PLUS TK_MINUS
 %left TK_STAR TK_SLASH TK_PCENT TK_MOD TK_DIV
diff --git a/src/test/should_work/NONREG/impl_priority.lus b/src/test/should_work/NONREG/impl_priority.lus
new file mode 100644
index 0000000000000000000000000000000000000000..fffbc748c71736ed91634e87e65310182b2f7f10
--- /dev/null
+++ b/src/test/should_work/NONREG/impl_priority.lus
@@ -0,0 +1,4 @@
+node test_impl_prio(x: int) returns (ok: bool)
+let
+  ok = x=1 => true;
+tel
diff --git a/src/test/test.res.exp b/src/test/test.res.exp
index 1d19efce452c9def38cd2b8af0fdca58e5773642..abb250c81a095e3d4d374dd4d9c9494234503e41 100644
--- a/src/test/test.res.exp
+++ b/src/test/test.res.exp
@@ -3317,6 +3317,19 @@ type A_A_A_int_4_4_4 = A_A_int_4_4^4;
 type A_A_int_4_4 = A_int_4^4;
 type A_int_4 = int^4;
 
+----------------------------------------------------------------------
+====> ../lus2lic -vl 2 --nonreg-test should_work/NONREG/impl_priority.lus
+--	 ../lus2lic -vl 2 --nonreg-test should_work/NONREG/impl_priority.lus
+
+node impl_priority::test_impl_prio(x:int) returns (ok:bool);
+var
+   _v_1:bool;
+let
+   ok = _v_1 => true;
+   _v_1 = x = 1;
+tel
+-- end of node impl_priority::test_impl_prio
+
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 2 --nonreg-test should_work/NONREG/import1.lus
 --	 ../lus2lic -vl 2 --nonreg-test should_work/NONREG/import1.lus
diff --git a/src/test/test_ec.res.exp b/src/test/test_ec.res.exp
index a466933cc13f8f4fd7ad579bb0ab12b6f100d61e..6223e86ab485c42fd262f88a649d74a810b1fb26 100644
--- a/src/test/test_ec.res.exp
+++ b/src/test/test_ec.res.exp
@@ -233,6 +233,10 @@ ec2c /tmp/xx.ec
 ====> ../lus2lic   --nonreg-test -ec should_work/NONREG/hanane.lus -o /tmp/xx.ec
 ec2c /tmp/xx.ec
 
+----------------------------------------------------------------------
+====> ../lus2lic   --nonreg-test -ec should_work/NONREG/impl_priority.lus -o /tmp/xx.ec
+ec2c /tmp/xx.ec
+
 ----------------------------------------------------------------------
 ====> ../lus2lic   --nonreg-test -ec should_work/NONREG/import1.lus -o /tmp/xx.ec
 ec2c /tmp/xx.ec
diff --git a/src/test/test_lv4.res.exp b/src/test/test_lv4.res.exp
index 9ce4862f1fb50fb936a0a89ec99325a233a0770c..1e5f5f923368dad0671ff54038c4713a72d86682 100644
--- a/src/test/test_lv4.res.exp
+++ b/src/test/test_lv4.res.exp
@@ -334,6 +334,11 @@ lus2ec /tmp/xx.lus fresh_name__fn
 lus2ec /tmp/xx.lus hanane__hanane
 --Pollux Version 2.3a
 
+----------------------------------------------------------------------
+====> ../lus2lic   --nonreg-test  -lv4 should_work/NONREG/impl_priority.lus -o /tmp/xx.lus
+lus2ec /tmp/xx.lus impl_priority__test_impl_prio
+--Pollux Version 2.3a
+
 ----------------------------------------------------------------------
 ====> ../lus2lic   --nonreg-test  -lv4 should_work/NONREG/import1.lus -o /tmp/xx.lus
 lus2ec /tmp/xx.lus import1__import1