diff --git a/src/licDump.ml b/src/licDump.ml
index 02e07cd0f882c11c122f30404ed429dc5ebc319a..b748cf1c4f679994116d0baa4b42d2c79181c65e 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 25/02/2009 (at 14:10) by Erwan Jahier> *)
+(** Time-stamp: <modified the 25/02/2009 (at 14:12) by Erwan Jahier> *)
 
 open Printf
 open Lxm
@@ -319,6 +319,10 @@ and (string_of_by_pos_op_eff: Eff.by_pos_op srcflagged -> Eff.val_exp list -> st
 		  (* predef op that are iterated are translated into node_exp ;
 		     hence, we need to do (again) a particular threatment to have
 		     a node ouput (i.e., "2>a" vs "Lustre::lt(2,a)" *)
+		| ("Lustre","uminus"),  [] -> " -" ^ sov (hd vel)
+		| ("Lustre","iuminus"), [] -> " -" ^ sov (hd vel)
+		| ("Lustre","ruminus"), [] -> " -" ^ sov (hd vel)
+
 		| ("Lustre","lt"),  [] -> sov (hd vel) ^ " < " ^ sov (hd (tl vel))
 		| ("Lustre","lte"),  [] -> sov (hd vel) ^ " <= " ^ sov (hd (tl vel))
 		| ("Lustre","gt"),  [] -> sov (hd vel) ^ " > " ^ sov (hd (tl vel))
@@ -328,9 +332,6 @@ and (string_of_by_pos_op_eff: Eff.by_pos_op srcflagged -> Eff.val_exp list -> st
 		| ("Lustre","plus"),  [] -> sov (hd vel) ^ " +  " ^ sov (hd (tl vel)) 
 		| ("Lustre","iplus"),  [] -> sov (hd vel) ^ " +  " ^ sov (hd (tl vel)) 
 		| ("Lustre","rplus"),  [] -> sov (hd vel) ^ " +  " ^ sov (hd (tl vel)) 
-		| ("Lustre","uminus"),  [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel)) 
-		| ("Lustre","iuminus"),  [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel)) 
-		| ("Lustre","ruminus"),  [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel)) 
 		| ("Lustre","minus"),  [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel)) 
 		| ("Lustre","iminus"),  [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel)) 
 		| ("Lustre","rminus"),  [] -> sov (hd vel) ^ " - " ^ sov (hd (tl vel))