- we completed the text parser fixing the syntactic shortcuts

[helm.git] / helm / software / lambda-delta / automath / autProcess.ml

diff --git a/helm/software/lambda-delta/automath/autProcess.ml b/helm/software/lambda-delta/automath/autProcess.ml
index b9751b2f53cf783cdb6d8edd4bf9c3b4058207a3..405952ff5b8b00b1d9b35d63c78000a33e7f954d 100644 (file)
--- 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