summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
index a1a6eff184..b1e1e42167 100644
--- a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
+++ b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
@@ -286,8 +286,8 @@ module Make (Ast : Sig.Camlp4Ast) = struct
and package_type_constraints wc acc =
match wc with
[ <:with_constr<>> -> acc
- | <:with_constr< type $lid:id$ = $ct$ >> ->
- [(Lident id, ctyp ct) :: acc]
+ | <:with_constr< type $id:id$ = $ct$ >> ->
+ [(ident id, ctyp ct) :: acc]
| <:with_constr< $wc1$ and $wc2$ >> ->
package_type_constraints wc1 (package_type_constraints wc2 acc)
| _ -> error (loc_of_with_constr wc) "unexpected `with constraint' for a package type" ]