- conditional compilation continues ...

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

diff --git a/helm/software/helena/src/automath/autProcess.mli b/helm/software/helena/src/automath/autProcess.mli
index 4145ff946efacf9999f1b10e0155d5b1f71a6941..e0c856a0f012eef77a92ba1bdf4185aeb2e6cc7a 100644 (file)
--- a/helm/software/helena/src/automath/autProcess.mli
+++ b/helm/software/helena/src/automath/autProcess.mli
@@ -13,7 +13,11 @@ type status
 
 val initial_status: unit -> status
 
+val get_counters: (int -> int -> int -> int -> 'a) -> status -> 'a
+
+IFDEF PREPROCESS THEN
+
 val process_command: 
    (status -> Aut.command -> 'a) -> status -> Aut.command -> 'a
 
-val get_counters: (int -> int -> int -> int -> 'a) -> status -> 'a
+END