diff options
Diffstat (limited to 'printing')
| -rw-r--r-- | printing/ppconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index 2d0e4e47d..0c687a18e 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -154,7 +154,7 @@ end) = struct let pr_qualid sp = let (sl, id) = repr_qualid sp in let id = tag_ref (str (Id.to_string id)) in - let sl = match DirPath.repr sl with + let sl = match List.rev (DirPath.repr sl) with | [] -> mt () | sl -> let pr dir = tag_path (str (Id.to_string dir)) ++ str "." in |