diff options
| -rw-r--r-- | printing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/prettyp.ml b/printing/prettyp.ml index 67b3df35e0..03ad7889fa 100644 --- a/printing/prettyp.ml +++ b/printing/prettyp.ml @@ -375,7 +375,7 @@ let print_located_qualid name flags ref = if DirPath.is_empty dir then str ("No " ^ name ^ " of basename") ++ spc () ++ pr_id id else - str ("No " ^ name ^ " of suffix") ++ pr_qualid qid + str ("No " ^ name ^ " of suffix") ++ spc () ++ pr_qualid qid | l -> prlist_with_sep fnl (fun (o,oqid) -> |