diff options
-rw-r--r-- | camlp4/etc/pr_o.ml | 2 |
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 |