Remove Ast.PVar.

[goals.git] / src / parser.mly

diff --git a/src/parser.mly b/src/parser.mly
index c47ac59..f058044 100644 (file)
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -86,7 +86,6 @@ patterns:
 pattern:
     | STRING     { Ast.PTactic ($loc, "file", [$1]) }
     | ID pattern_params { Ast.PTactic ($loc, $1, $2) }
-    | ID         { Ast.PVar ($loc, $1) }
     ;
 pattern_params:
     | LEFT_PAREN separated_list(COMMA, pattern_param) RIGHT_PAREN { $2 }