summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--camlp4/etc/pr_o.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/etc/pr_o.ml b/camlp4/etc/pr_o.ml
index 0bc51c4df..c1ac23f67 100644
--- a/camlp4/etc/pr_o.ml
+++ b/camlp4/etc/pr_o.ml
@@ -1034,7 +1034,7 @@ pr_expr.pr_levels :=
match eel_e with
[ ([], <:expr< () >>) ->
[: `BEbox [: `S LR "if"; `expr e1 "" [: :]; `S LR "then" :];
- `expr1 e2 dg k :]
+ `expr1 e2 dg k; `S LR "else"; `S LR "()" :]
| (eel, <:expr< () >>) ->
let (eel, (e1f, e2f)) =
let r = List.rev eel in