diff options
Diffstat (limited to 'grammar/q_constr.ml4')
| -rw-r--r-- | grammar/q_constr.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammar/q_constr.ml4 b/grammar/q_constr.ml4 index 5d46897c60..130f14717e 100644 --- a/grammar/q_constr.ml4 +++ b/grammar/q_constr.ml4 @@ -33,7 +33,7 @@ EXTEND | "Type" -> Misctypes.GType None ] ] ; ident: - [ [ s = string -> <:expr< Names.id_of_string $str:s$ >> ] ] + [ [ s = string -> <:expr< Names.Id.of_string $str:s$ >> ] ] ; name: [ [ "_" -> <:expr< Anonymous >> | id = ident -> <:expr< Name $id$ >> ] ] |