Basic evaluation.

[goals.git] / src / parser.mly

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