diff options
Diffstat (limited to 'grammar')
| -rw-r--r-- | grammar/q_coqast.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammar/q_coqast.ml4 b/grammar/q_coqast.ml4 index e3d910f321..c7d126c37d 100644 --- a/grammar/q_coqast.ml4 +++ b/grammar/q_coqast.ml4 @@ -291,7 +291,7 @@ let mlexpr_of_entry_type = function let mlexpr_of_match_lazy_flag = function | Tacexpr.General -> <:expr<Tacexpr.General>> - | Tacexpr.Lazy -> <:expr<Tacexpr.Lazy>> + | Tacexpr.Select -> <:expr<Tacexpr.Select>> | Tacexpr.Once -> <:expr<Tacexpr.Once>> let mlexpr_of_match_pattern = function |