diff --git a/src/licDump.ml b/src/licDump.ml
index 020a74bfa779869fb169ca9f83adc069fcc7717d..c2073bca4229dbc1b5fe47f6a544e4e1e3f27d62 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 13/01/2010 (at 17:00) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2010 (at 09:05) by Erwan Jahier> *)
 
 open Printf
 open Lxm
@@ -662,7 +662,7 @@ and string_of_clock (ck : Eff.clock) =
 
 and op2string op = 
   (* Une verrue pour compatible avec les outils qui mangent du ec...  *)
-  if !Global.ec && op = Predef.REAL2INT_n then "real"  else 
+  if !Global.ec && op =  Predef.INT2REAL_n then "real"  else 
     Predef.op2string op
 
 (*---------------------------------------------------------------------