X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautParser.mly;h=2f7c06349a6589aba8b9789e170a9b198483430a;hb=128ea02422e0cc4254ea3f8e4b0c5248c7182479;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..2f7c06349 100644
--- a/helm/software/lambda-delta/automath/autParser.mly
+++ b/helm/software/lambda-delta/automath/autParser.mly
@@ -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: