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

[helm.git] / helm / software / lambda-delta / src / automath / autOutput.ml

diff --git a/helm/software/lambda-delta/src/automath/autOutput.ml b/helm/software/lambda-delta/src/automath/autOutput.ml
index d692005bd27826f8d43026f277ca8ea26e0fe658..ddf2f30edaa122866fa98b9e65b5a4f01b524107 100644 (file)
--- 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