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

diff --git a/helm/software/lambda-delta/automath/autParser.mly b/helm/software/lambda-delta/automath/autParser.mly
index 912770560..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 {} ;
@@ -54,8 +54,8 @@
       | IDENT path idents { $1 :: $3 }
    ;
    qid:
-      | IDENT                    { ($1, false, []) }
-      | IDENT QT QT              { ($1, false, []) }
+      | IDENT                    { ($1, true, [])  }
+      | IDENT QT QT              { ($1, true, [])  }
       | IDENT QT local idents QT { ($1, $3, $4)    }
    ;
    term: