X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautProcess.ml;h=405952ff5b8b00b1d9b35d63c78000a33e7f954d;hb=4c157ac5c58f34fffc98289c2d2e71032d584a83;hp=56ecd4ca47a8cb1ef874245c81a24868c63e6f06;hpb=79684e8bd0f54b5c88fff981366bd8c78dd0fbe9;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autProcess.ml b/helm/software/lambda-delta/automath/autProcess.ml
index 56ecd4ca4..405952ff5 100644
--- a/helm/software/lambda-delta/automath/autProcess.ml
+++ b/helm/software/lambda-delta/automath/autProcess.ml
@@ -57,21 +57,21 @@ let proc_global f st =
    in
    exp_count f st
 
-let proc_unit f st unit = match unit with
-   | A.Section section -> proc_section f st section unit
-   | A.Context _       -> proc_context f st unit  
-   | A.Block _         -> proc_block f st unit
-   | A.Decl _          -> proc_global f st unit
-   | A.Def _           -> proc_global f st unit
+let proc_command f st command = match command with
+   | A.Section section -> proc_section f st section command
+   | A.Context _       -> proc_context f st command  
+   | A.Block _         -> proc_block f st command
+   | A.Decl _          -> proc_global f st command
+   | A.Def _           -> proc_global f st command
    
 (* interface functions ******************************************************)
 
-let initial_status = {
+let initial_status () = {
    opening = false; reopening = false; closing = false; 
    explicit = false; block = false;
    iao = 0; iar = 0; iac = 0; iag = 0
 }
 
-let process_unit = proc_unit
+let process_command = proc_command
 
 let get_counters f st = f st.iao st.iar st.iac st.iag