X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Foutput.mli;h=615b1d1771c9bd665deaba105711fc60e2f8123f;hb=9a6cf8c3b53fe33515acd1aef8e7c7a10d71ae71;hp=c2c0c32212b878e9706bbda420bd73716dfc7ae2;hpb=c2a2ecf1a9d02b03b9e840e01128632663e5d8a5;p=helm.git

diff --git a/helm/software/helena/src/common/output.mli b/helm/software/helena/src/common/output.mli
index c2c0c3221..615b1d177 100644
--- a/helm/software/helena/src/common/output.mli
+++ b/helm/software/helena/src/common/output.mli
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+IFDEF SUMMARY THEN
+
 val clear_reductions: unit -> unit
 
 val add: 
@@ -17,3 +19,5 @@ val add:
    unit -> unit
 
 val print_reductions: unit -> unit
+
+END