diff options
| -rw-r--r-- | camlp4/etc/pr_o.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/camlp4/etc/pr_o.ml b/camlp4/etc/pr_o.ml index 7cc2c8c87..d87566726 100644 --- a/camlp4/etc/pr_o.ml +++ b/camlp4/etc/pr_o.ml @@ -1544,6 +1544,8 @@ pr_patt.pr_levels := | <:patt< ~ $i$ : $p$ >> -> fun curr next dg k -> [: `S LO ("~" ^ i ^ ":"); `simple_patt p "" k :] + | <:patt< ? $i$ >> -> + fun curr next _ k -> [: `S LR ("?" ^ i); k :] | <:patt< ? $i$ : ($p$) >> -> fun curr next dg k -> if i = "" then [: `S LO "?"; `simple_patt p "" k :] |