X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautParser.mly;h=3bf5f3d00127802e6761ffe1bd34f1dfc74f6078;hb=ff6a1396270493dcf0e1f673f32a8213a8ce3751;hp=2f7c06349a6589aba8b9789e170a9b198483430a;hpb=b00b8de85c5ae6c5fbb6f47dc559bf4cfcf2a5b6;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autParser.mly b/helm/software/lambda-delta/automath/autParser.mly
index 2f7c06349..3bf5f3d00 100644
--- a/helm/software/lambda-delta/automath/autParser.mly
+++ b/helm/software/lambda-delta/automath/autParser.mly
@@ -32,7 +32,7 @@
    %token TYPE PROP DEF EB E PN EXIT
     
    %start book
-   %type <Aut.book> book   
+   %type <Aut.item list> book   
 %%
    path: MINUS {} | FS {} ;
    oftype: CN {} | CM {} ;