diff options
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/EAuto.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/EAuto.v b/tactics/EAuto.v index 76b993b218..c03334aebd 100644 --- a/tactics/EAuto.v +++ b/tactics/EAuto.v @@ -14,7 +14,7 @@ (****************************************************************************) Grammar tactic simple_tactic := - eapply [ "EApply" com_binding_list($cl) ] + eapply [ "EApply" constrarg_binding_list($cl) ] -> [(EApplyWithBindings ($LIST $cl))] | eexact [ "EExact" constrarg($c) ] -> [(EExact $c)] | prolog [ "Prolog" "[" constrarg_list($l) "]" numarg($n) ] |