X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fautomath%2FautProcess.ml;h=8ce4c60450ad168f55b65ec66fdc298d4ae4b67d;hb=4e75ab41fb7a0a9a4f66cb777a791ce3950c57ce;hp=405952ff5b8b00b1d9b35d63c78000a33e7f954d;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/src/automath/autProcess.ml b/helm/software/helena/src/automath/autProcess.ml
index 405952ff5..8ce4c6045 100644
--- 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