X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautProcess.ml;h=405952ff5b8b00b1d9b35d63c78000a33e7f954d;hb=34a5ef53f3ad2771cb45f90a2da6713bccdf3608;hp=b9751b2f53cf783cdb6d8edd4bf9c3b4058207a3;hpb=689118326fbe47231865b26c66ae89144459be6a;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autProcess.ml b/helm/software/lambda-delta/automath/autProcess.ml
index b9751b2f5..405952ff5 100644
--- a/helm/software/lambda-delta/automath/autProcess.ml
+++ b/helm/software/lambda-delta/automath/autProcess.ml
@@ -66,7 +66,7 @@ let proc_command f st command = match command with
    
 (* 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