X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fautomath%2FautOutput.mli;h=af72d38f71bfb0f877c04042c195f15d0f85a09c;hb=600fba840c748f67593838673a6eb40eab9b68e5;hp=1a5f561041e969272b3264a903b0b4578487b2cf;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/src/automath/autOutput.mli b/helm/software/helena/src/automath/autOutput.mli
index 1a5f56104..af72d38f7 100644
--- a/helm/software/helena/src/automath/autOutput.mli
+++ b/helm/software/helena/src/automath/autOutput.mli
@@ -13,8 +13,16 @@ type counters
 
 val initial_counters: counters
 
+IFDEF SUMMARY THEN
+
 val count_command: (counters -> 'a) -> counters -> Aut.command -> 'a
 
 val print_counters: (unit -> 'a) -> counters -> 'a
 
+IFDEF PREPROCESS THEN
+
 val print_process_counters: (unit -> 'a) -> AutProcess.status -> 'a
+
+END
+
+END