X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcommon%2Foutput.ml;h=38ebf8a34842c55d9da446989e4276d4925380fa;hb=39b42ed90bc74c8b6293842f1ac4aca60fc0c37e;hp=8270c5d9721951b9f1295ad2949662f4adbce07e;hpb=bb2a0b22a2c38b59ca664b550f34e5e40e6f04c7;p=helm.git

diff --git a/helm/software/lambda-delta/src/common/output.ml b/helm/software/lambda-delta/src/common/output.ml
index 8270c5d97..38ebf8a34 100644
--- a/helm/software/lambda-delta/src/common/output.ml
+++ b/helm/software/lambda-delta/src/common/output.ml
@@ -11,7 +11,7 @@
 
 module P = Printf
 module L = Log
-module O = Options
+module G = Options
 
 type reductions = {
    beta   : int;
@@ -69,4 +69,4 @@ let print_reductions () =
    L.warn (P.sprintf "        Local:                %7u" r.lrt);
    L.warn (P.sprintf "        Global:               %7u" r.grt);
    L.warn (P.sprintf "      Sort inclusion:         %7u" r.si);
-   L.warn (P.sprintf "  Relocated nodes (icm):      %7u" !O.icm)
+   L.warn (P.sprintf "  Relocated nodes (icm):      %7u" !G.icm)