we renamed the module abbreviations according to src/modules.ml

[helm.git] / helm / software / lambda-delta / src / common / output.ml

diff --git a/helm/software/lambda-delta/src/common/output.ml b/helm/software/lambda-delta/src/common/output.ml
index 8270c5d9721951b9f1295ad2949662f4adbce07e..38ebf8a34842c55d9da446989e4276d4925380fa 100644 (file)
--- 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)