]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/automath/autParser.mly
- we now use a streaming architecture (run time gain: 11 secs)
[helm.git] / helm / software / lambda-delta / automath / autParser.mly
index 2f7c06349a6589aba8b9789e170a9b198483430a..3bf5f3d00127802e6761ffe1bd34f1dfc74f6078 100644 (file)
@@ -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 {} ;