diff options
| author | Emilio Jesus Gallego Arias | 2016-06-01 18:31:05 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-03-21 15:47:13 +0100 |
| commit | 14155762a7cd46ed6a3e9cf2a58e11ee1244b188 (patch) | |
| tree | 27d17f64dae70cb2e75828b6a22c66db6451d573 /parsing | |
| parent | 8c5adfd5acb883a3bc2850b6fc8c29d352a421f8 (diff) | |
[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`
This is what has always been used, so it doesn't represent a functional
change.
This is just a preliminary patch, but many more possibilities could be
done wrt tags.
Diffstat (limited to 'parsing')
| -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 72bd11e030..a637d2e43f 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 ~pp_tag:Ppstyle.pp_tag ppf (Pp.str (to_string x)) + let print ppf x = Pp.pp_with ~pp_tag:Ppstyle.to_format ppf (Pp.str (to_string x)) end open Error |