aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cprint.ml
diff options
context:
space:
mode:
Diffstat (limited to 'cparser/Cprint.ml')
-rw-r--r--cparser/Cprint.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cprint.ml b/cparser/Cprint.ml
index caa4fa66..05448784 100644
--- a/cparser/Cprint.ml
+++ b/cparser/Cprint.ml
@@ -75,7 +75,7 @@ let const pp = function
else fprintf pp "\\%03o" (Char.code c)
done;
fprintf pp "\""
- | CWStr l ->
+ | CWStr(l, _) ->
fprintf pp "L\"";
List.iter
(fun c ->