diff options
| author | Maxime Dénès | 2016-10-28 12:42:10 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-10-28 12:42:10 +0200 |
| commit | 3e98d3e4941f5098d743dffa8a032fd623a6a030 (patch) | |
| tree | ddfebc530ee37fce10f0cd6782c4504d9c20d486 /parsing/cLexer.ml4 | |
| parent | 40dbf1e0d8824fba357632addcdce434edc8b247 (diff) | |
| parent | cb5f55380875bb3029b051eb3acfbb912d83454b (diff) | |
Merge remote-tracking branch 'github/pr/319' into v8.6
Was PR#319: More error tagging, try to fix bug 5135
Diffstat (limited to 'parsing/cLexer.ml4')
| -rw-r--r-- | parsing/cLexer.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/cLexer.ml4 b/parsing/cLexer.ml4 index 79771f3f66..a0cf631ea8 100644 --- a/parsing/cLexer.ml4 +++ b/parsing/cLexer.ml4 @@ -105,7 +105,7 @@ module Error = struct Printf.sprintf "Unsupported Unicode character (0x%x)" x) (* Require to fix the Camlp4 signature *) - let print ppf x = Pp.pp_with ppf (Pp.str (to_string x)) + let print ppf x = Pp.pp_with ~pp_tag:Ppstyle.pp_tag ppf (Pp.str (to_string x)) end open Error |