diff options
| -rw-r--r-- | parsing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml index 743036bcf5..7df78fe61c 100644 --- a/parsing/prettyp.ml +++ b/parsing/prettyp.ml @@ -216,7 +216,7 @@ let print_located_qualid ref = (fun (o,oqid) -> hov 2 (pr_located_qualid o ++ (if oqid <> qid then - spc() ++ str "(shorter name to refer to it is " ++ pr_qualid oqid ++ str")" + spc() ++ str "(shorter name to refer to it in current context is " ++ pr_qualid oqid ++ str")" else mt ()))) l |