From cd43f2637f6a0d51e9452936015e166af5e8a66f Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 20 Jan 2010 09:31:22 +0100
Subject: [PATCH] Fix a typo introcuded in
31e8df195d50d931a41c45f4b3b450c4c5136b34 (REAL2INT versus INT2REAL)
---
src/licDump.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/licDump.ml b/src/licDump.ml
index 020a74bf..c2073bca 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
(*---------------------------------------------------------------------
--
GitLab