X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautParser.mly;h=ed5da5a647a7c8ccf64a0555d09d2e707b0da658;hb=4efe53bc2098939c255d5b03941212549f89a1bd;hp=7bb9a4a6fa5cf32226dc16d1cc12b44431b1f128;hpb=93205dc852fa208b48a05757d05d9910b7d45fa1;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autParser.mly b/helm/software/lambda-delta/automath/autParser.mly
index 7bb9a4a6f..ed5da5a64 100644
--- a/helm/software/lambda-delta/automath/autParser.mly
+++ b/helm/software/lambda-delta/automath/autParser.mly
@@ -36,7 +36,7 @@
    %token TYPE PROP DEF EB E PN EXIT
     
    %start entry
-   %type <Aut.entity option * bool> entry   
+   %type <Aut.command option * bool> entry   
 %%
    path: MINUS {} | FS {} ;
    oftype: CN {} | CM {} ;