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 973d55584..c6ab72fd9 100644 --- a/camlp4/etc/pr_o.ml +++ b/camlp4/etc/pr_o.ml @@ -190,7 +190,7 @@ value private_flag = [ True -> [: `S LR "private" :] | _ -> [: :] ] ; - + value rec labels b vl _ k = [: b; listws label (S RO ";") vl "" k :] and label (loc, f, m, t) _ k = HVbox |