X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautProcess.ml;h=405952ff5b8b00b1d9b35d63c78000a33e7f954d;hb=4c157ac5c58f34fffc98289c2d2e71032d584a83;hp=b9751b2f53cf783cdb6d8edd4bf9c3b4058207a3;hpb=28430d599505ac26b51e4887e5196d9b380c898a;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