diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index 2cbb09837af552a476de6a429c1667e701b5811f..cfce6fbfa1f7555ca0b86bcbdc2792070823f591 100644
Binary files a/lv6-ref-man/lv6-ref-man.pdf and b/lv6-ref-man/lv6-ref-man.pdf differ
diff --git a/src/soc2cPredef.ml b/src/soc2cPredef.ml
index eb351ce60ec07c49b5692560a02c4e8858c4a40c..0c5cf7ebaa9e13ae916c56b03d7679c0c84e0a8a 100644
--- a/src/soc2cPredef.ml
+++ b/src/soc2cPredef.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 10/07/2017 (at 13:12) by Erwan Jahier> *)
+(* Time-stamp: <modified the 16/05/2019 (at 09:22) by Erwan Jahier> *)
 
 (* A local exception used to check if a predef is supported. 
    The idea is that when gen_call_do is called  with empty lists,
@@ -82,6 +82,9 @@ let (gen_call_do :  Soc.key -> string list -> string list -> string) =
   | "Lustre::div",_,_    -> lstdbin "/"
   | "Lustre::idiv",_,_   -> lstdbin "/"
   | "Lustre::rdiv",_,_   -> lstdbin "/"
+  | "Lustre::slash",_,_  -> lstdbin "/"
+  | "Lustre::islash",_,_ -> lstdbin "/"
+  | "Lustre::rslash",_,_ -> lstdbin "/"
   | "Lustre::minus",_,_  -> lstdbin "-"
   | "Lustre::iminus",_,_ -> lstdbin "-"
   | "Lustre::rminus",_,_ -> lstdbin "-"
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 3d51207e9d293ec7f7475dd22b3f761a8d6332ff..a9f89a59b4cb00a483a3f721dedd144d1a6c7484 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
 ==> lus2lic0.sum <==
-Test run by jahier on Tue Apr 30 09:25:01 
+Test run by jahier on Wed May 15 18:03:06 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic0 tests ===
@@ -66,7 +66,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
 XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
 
 ==> lus2lic1.sum <==
-Test run by jahier on Tue Apr 30 09:25:02 
+Test run by jahier on Wed May 15 18:03:06 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic1 tests ===
@@ -409,7 +409,7 @@ PASS: sh multipar.sh
 PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus  {}
 
 ==> lus2lic2.sum <==
-Test run by jahier on Tue Apr 30 09:25:25 
+Test run by jahier on Thu May 16 09:16:36 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic2 tests ===
@@ -749,7 +749,7 @@ PASS: sh zzz2.sh
 PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus  {}
 
 ==> lus2lic3.sum <==
-Test run by jahier on Tue Apr 30 09:25:55 
+Test run by jahier on Thu May 16 09:17:14 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic3 tests ===
@@ -1259,7 +1259,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
 
 
 ==> lus2lic4.sum <==
-Test run by jahier on Tue Apr 30 09:26:34 
+Test run by jahier on Thu May 16 09:17:54 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -1776,14 +1776,14 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
 # of unexpected failures	7
 ===============================
 # Total number of failures: 15
-lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 23 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 30 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 39 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 16 seconds
+lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 54810 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 38 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 40 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 18 seconds
 * Ref time: 
-56.68user 19.96system 1:49.30elapsed 70%CPU (0avgtext+0avgdata 276932maxresident)k
-0inputs+143192outputs (0major+10996907minor)pagefaults 0swaps
+64.08user 21.45system 15:15:06elapsed 0%CPU (0avgtext+0avgdata 277032maxresident)k
+0inputs+143192outputs (0major+10998297minor)pagefaults 0swaps
 * Quick time (-j 4):
-63.45user 21.52system 1:09.21elapsed 122%CPU (0avgtext+0avgdata 276588maxresident)k
-1896inputs+139552outputs (0major+10753810minor)pagefaults 0swaps
+59.54user 19.53system 1:06.89elapsed 118%CPU (0avgtext+0avgdata 276536maxresident)k
+0inputs+141296outputs (0major+10861295minor)pagefaults 0swaps