X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fautomath%2FautOutput.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fautomath%2FautOutput.ml;h=ddf2f30edaa122866fa98b9e65b5a4f01b524107;hb=39b42ed90bc74c8b6293842f1ac4aca60fc0c37e;hp=d692005bd27826f8d43026f277ca8ea26e0fe658;hpb=bb2a0b22a2c38b59ca664b550f34e5e40e6f04c7;p=helm.git

diff --git a/helm/software/lambda-delta/src/automath/autOutput.ml b/helm/software/lambda-delta/src/automath/autOutput.ml
index d692005bd..ddf2f30ed 100644
--- a/helm/software/lambda-delta/src/automath/autOutput.ml
+++ b/helm/software/lambda-delta/src/automath/autOutput.ml
@@ -9,11 +9,11 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module P = Printf
-module C = Cps
-module L = Log
-module A = Aut
-module R = AutProcess
+module P  = Printf
+module C  = Cps
+module L  = Log
+module A  = Aut
+module AA = AutProcess
 
 type counters = {
    sections: int;
@@ -97,4 +97,4 @@ let print_process_counters f c =
       L.warn (P.sprintf "    Implicit after global:    %7u" iag);
       f ()
    in
-   R.get_counters f c
+   AA.get_counters f c