diff options
Diffstat (limited to 'tools/ocamltex.ml')
| -rw-r--r-- | tools/ocamltex.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/ocamltex.ml b/tools/ocamltex.ml index 43e5c03a4c..e6b2c8cd0d 100644 --- a/tools/ocamltex.ml +++ b/tools/ocamltex.ml @@ -756,7 +756,7 @@ let process_file file = "when parsing a caml_example environment in@ \ %s, line %d:@,\ the signature mode is only compatible with \"caml_example*\"@ \ - Hint: did you forget to add \"*\"?" + @{<hint>Hint@}: did you forget to add \"*\"?" file (line_number-2); | Text_transform.Intersection {line;file;left;right} -> fatal @@ -765,7 +765,8 @@ let process_file file = spanned the interval %d-%d,@ \ intersecting with another \"%a\" transform @ \ on the %d-%d interval.@ \ - Hind: did you try to elide a code fragment which raised a warning?" + @{<hint>Hint@}: did you try to elide a code fragment \ + which raised a warning?" file (line-2) Text_transform.pp left.kind left.start left.stop Text_transform.pp right.kind right.start right.stop |