diff options
Diffstat (limited to 'parsing/egramcoq.ml')
| -rw-r--r-- | parsing/egramcoq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/egramcoq.ml b/parsing/egramcoq.ml index 6940fd6fb..890ce2dec 100644 --- a/parsing/egramcoq.ml +++ b/parsing/egramcoq.ml @@ -298,7 +298,7 @@ let interp_entry forpat e = match e with | ETName -> TTAny TTName | ETReference -> TTAny TTReference | ETBigint -> TTAny TTBigint -| ETBinder true -> anomaly (Pp.str "Should occur only as part of BinderList") +| ETBinder true -> anomaly (Pp.str "Should occur only as part of BinderList.") | ETBinder false -> TTAny TTBinder | ETConstr p -> TTAny (TTConstr (p, forpat)) | ETPattern -> assert false (** not used *) |