diff --git a/src/genOcamlGlue.ml b/src/genOcamlGlue.ml
index 4f828318dbed8be42990459e51f7b77b9762d32f..2d22d3ca826bbdec75f7608325272b28eaa8b6a5 100644
--- a/src/genOcamlGlue.ml
+++ b/src/genOcamlGlue.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 28/03/2018 (at 11:02) by Erwan Jahier> *)
+(* Time-stamp: <modified the 10/07/2018 (at 10:42) by Erwan Jahier> *)
 
 (* generate ocaml glue code that makes it possible to call lus2lic
    from ocaml with the current set of arguments (with Lv6Run.make).
@@ -20,7 +20,7 @@ let (f: string array -> Lv6MainArgs.t -> unit) =
     in
     let args_str = "\"" ^ (String.concat "\";\"" args) ^"\"" in
     let oc = open_out (outfile)  in
-    LicDump.dump_entete oc;
+    Lv6util.entete oc "(*" "*)";
     Printf.fprintf oc "
 let plugin = 
   let args = Array.of_list [%s] in
diff --git a/src/main.ml b/src/main.ml
index 43782461081a661b73e9fa4a4ebdc54dc6da106d..aa725e667a0cc0fe963d12f48b76ff55ecb9a74b 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 03/07/2018 (at 15:28) by Erwan Jahier> *)
+(* Time-stamp: <modified the 10/07/2018 (at 10:43) by Erwan Jahier> *)
 
 open Lv6Verbose
 open AstV6
@@ -134,7 +134,7 @@ let (gen_autotest_files : LicPrg.t -> Lv6Id.idref option -> Lv6MainArgs.t -> uni
     let name = main_node.Lv6Id.id_id in
     let lutin_file_name =  ("_"^name^"_env.lut") in
     let oc = open_out lutin_file_name in
-    LicDump.dump_entete oc; 
+    Lv6util.entete oc "--" "";
     output_string oc ("node " ^ (name) ^ "_env("^ (String.concat ";" outvars_str) ^ 
                          ") returns(" ^ (String.concat ";" invars_str) ^ ") =\n   "^
                          assertion_cstr^" \n");
@@ -232,7 +232,7 @@ let
    res = if r_abs(x)>1.0 then r_abs(1.0-(y/x)) < seuil else r_abs(x-y) < seuil;
 tel
 " in 
-    LicDump.dump_entete oc; 
+    Lv6util.entete oc "--" "";
     output_string oc prg;
     flush oc; 
     close_out oc;
diff --git a/src/socExec.ml b/src/socExec.ml
index eacff29efd723179b9b46025c1d9bf6587026e43..79cfcc351071dacc8e27d36ed7471197c2233fd2 100644
--- a/src/socExec.ml
+++ b/src/socExec.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 06/07/2018 (at 10:32) by Erwan Jahier> *)
+(* Time-stamp: <modified the 10/07/2018 (at 10:41) by Erwan Jahier> *)
 
 open Soc
 open Data
@@ -290,7 +290,7 @@ let (f : Lv6MainArgs.t -> Soc.tbl -> Soc.key -> unit) =
         in
         open_out rif_file 
     in
-    LicDump.dump_entete oc;
+    Lv6util.entete oc "#" "";
     RifIO.write_interface oc exp_vntl_i exp_vntl_o None None;
     RifIO.flush oc;
     try