diff options
Diffstat (limited to 'grammar/q_coqast.ml4')
-rw-r--r-- | grammar/q_coqast.ml4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grammar/q_coqast.ml4 b/grammar/q_coqast.ml4 index 540e78b0b..6aefd3b72 100644 --- a/grammar/q_coqast.ml4 +++ b/grammar/q_coqast.ml4 @@ -33,8 +33,8 @@ let mlexpr_of_name = function <:expr< Names.Name (Names.Id.of_string $str:Names.Id.to_string id$) >> let mlexpr_of_dirpath dir = - let l = Names.Dir_path.repr dir in - <:expr< Names.Dir_path.make $mlexpr_of_list mlexpr_of_ident l$ >> + let l = Names.DirPath.repr dir in + <:expr< Names.DirPath.make $mlexpr_of_list mlexpr_of_ident l$ >> let mlexpr_of_qualid qid = let (dir, id) = Libnames.repr_qualid qid in |