more static analysis on the Automath text

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

diff --git a/helm/software/lambda-delta/automath/autOutput.ml b/helm/software/lambda-delta/automath/autOutput.ml
index 6ca42e6c640a165a65e2955a2421b7d6d7b07c8a..2f1a4d91c4715ab67b739c40f6b5e1348a734c48 100644 (file)
--- a/helm/software/lambda-delta/automath/autOutput.ml
+++ b/helm/software/lambda-delta/automath/autOutput.ml
@@ -88,11 +88,12 @@ let print_counters f c =
    f ()
 
 let print_process_counters f c =
-   let f iao iar iac =
+   let f iao iar iac iag =
       L.warn (P.sprintf "  Automath process summary");
       L.warn (P.sprintf "    Implicit after opening:   %7u" iao);
       L.warn (P.sprintf "    Implicit after reopening: %7u" iar);
       L.warn (P.sprintf "    Implicit after closing:   %7u" iac);
+      L.warn (P.sprintf "    Implicit after global:    %7u" iag);
       f ()
    in
    R.get_counters f c