X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fparser.mly;h=f0580443abebd4fd66c71e8ccc375453dc00c805;hb=7f776dee39a35732964a30091e55aa795169bca5;hp=c47ac597f3b818682ed0028da63aaff20c19d557;hpb=24cc20b33e3d81ed7d754391bef929276c1f4f42;p=goals.git

diff --git a/src/parser.mly b/src/parser.mly
index c47ac59..f058044 100644
--- 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 }