- conditional compilation continues ...

[helm.git] / helm / software / helena / src / automath / autOutput.mli

diff --git a/helm/software/helena/src/automath/autOutput.mli b/helm/software/helena/src/automath/autOutput.mli
index 1a5f561041e969272b3264a903b0b4578487b2cf..af72d38f71bfb0f877c04042c195f15d0f85a09c 100644 (file)
--- 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