Error message improved.

[helm.git] / helm / software / lambda-delta / automath / autParser.mly

diff --git a/helm/software/lambda-delta/automath/autParser.mly b/helm/software/lambda-delta/automath/autParser.mly
index 9127705609c21b5ad8347817c57299a8436f7a45..2f7c06349a6589aba8b9789e170a9b198483430a 100644 (file)
--- 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: