diff options
| -rw-r--r-- | camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml index 10b8d9938..9feaaec6e 100644 --- a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml +++ b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml @@ -1634,7 +1634,7 @@ Very old (no more supported) syntax: ; more_ctyp: [ [ "mutable"; x = SELF -> <:ctyp< mutable $x$ >> - | "`"; x = a_LIDENT -> <:ctyp< `$x$ >> + | "`"; x = a_ident -> <:ctyp< `$x$ >> | x = type_kind -> x | x = type_parameter -> x ] ] |