X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcomplete_rg%2FcrgOutput.ml;h=535ec2bebccd5e8dc8f8ffd81d6c1f4e118c16c0;hb=586c361209ac14e8c2b1da3509041c0c82a86c92;hp=7463c769a47cb47ca53fbcfb180a9787ee74b523;hpb=14803d30dc98bcb4804c629341373dbc0ec6b1ef;p=helm.git

diff --git a/helm/software/helena/src/complete_rg/crgOutput.ml b/helm/software/helena/src/complete_rg/crgOutput.ml
index 7463c769a..535ec2beb 100644
--- a/helm/software/helena/src/complete_rg/crgOutput.ml
+++ b/helm/software/helena/src/complete_rg/crgOutput.ml
@@ -47,6 +47,8 @@ let initial_counters = {
    uris = []; nodes = 0; xnodes = 0
 }
 
+IFDEF SUMMARY THEN
+
 let rec count_term f c e = function
    | D.TSort _         -> 
       f {c with tsorts = succ c.tsorts; nodes = succ c.nodes}
@@ -127,6 +129,8 @@ let print_counters f c =
    L.warn level (KP.sprintf "    + Abbreviation nodes:   %7u" nodes);
    f ()
 
+END
+
 (* term/environment pretty printer ******************************************)
 
 let pp_b_attrs out a =