- conditional compilation continues ...

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

diff --git a/helm/software/helena/src/automath/autProcess.ml b/helm/software/helena/src/automath/autProcess.ml
index 405952ff5b8b00b1d9b35d63c78000a33e7f954d..8ce4c60450ad168f55b65ec66fdc298d4ae4b67d 100644 (file)
--- a/helm/software/helena/src/automath/autProcess.ml
+++ b/helm/software/helena/src/automath/autProcess.ml
@@ -25,6 +25,8 @@ type status = {
 
 (* internal functions *******************************************************)
 
+IFDEF PREPROCESS THEN
+
 let orc_reset f st =
    f {st with opening = false; reopening = false; closing = false}
 
@@ -63,7 +65,9 @@ let proc_command f st command = match command with
    | A.Block _         -> proc_block f st command
    | A.Decl _          -> proc_global f st command
    | A.Def _           -> proc_global f st command
-   
+
+END
+
 (* interface functions ******************************************************)
 
 let initial_status () = {
@@ -72,6 +76,10 @@ let initial_status () = {
    iao = 0; iar = 0; iac = 0; iag = 0
 }
 
+let get_counters f st = f st.iao st.iar st.iac st.iag
+
+IFDEF PREPROCESS THEN
+
 let process_command = proc_command
 
-let get_counters f st = f st.iao st.iar st.iac st.iag
+END