...

[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 7bb9a4a6fa5cf32226dc16d1cc12b44431b1f128..ed5da5a647a7c8ccf64a0555d09d2e707b0da658 100644 (file)
--- a/helm/software/lambda-delta/automath/autParser.mly
+++ b/helm/software/lambda-delta/automath/autParser.mly
@@ -36,7 +36,7 @@
    %token TYPE PROP DEF EB E PN EXIT
     
    %start entry
-   %type <Aut.entity option * bool> entry   
+   %type <Aut.command option * bool> entry   
 %%
    path: MINUS {} | FS {} ;
    oftype: CN {} | CM {} ;