X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautProcess.ml;h=0009e021eea3996b1d7843461aea5f2fea2de459;hb=ddd6560f4e70ec3306d223738a441d5f1dd3eac9;hp=87fe418650e6779603def9db0e1dd72c32d94ca4;hpb=ca9fe133125cb84c5223029995cb72e973a2d695;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autProcess.ml b/helm/software/lambda-delta/automath/autProcess.ml
index 87fe41865..0009e021e 100644
--- a/helm/software/lambda-delta/automath/autProcess.ml
+++ b/helm/software/lambda-delta/automath/autProcess.ml
@@ -57,12 +57,12 @@ let proc_global f st =
    in
    exp_count f st
 
-let proc_item f st item = match item with
-   | A.Section section -> proc_section f st section item
-   | A.Context _       -> proc_context f st item  
-   | A.Block _         -> proc_block f st item
-   | A.Decl _          -> proc_global f st item
-   | A.Def _           -> proc_global f st item
+let proc_entity f st entity = match entity with
+   | A.Section section -> proc_section f st section entity
+   | A.Context _       -> proc_context f st entity  
+   | A.Block _         -> proc_block f st entity
+   | A.Decl _          -> proc_global f st entity
+   | A.Def _           -> proc_global f st entity
    
 (* interface functions ******************************************************)
 
@@ -72,6 +72,6 @@ let initial_status = {
    iao = 0; iar = 0; iac = 0; iag = 0
 }
 
-let process_item = proc_item
+let process_entity = proc_entity
 
 let get_counters f st = f st.iao st.iar st.iac st.iag