diff options
Diffstat (limited to 'src/boot/fe')
| -rw-r--r-- | src/boot/fe/ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 46a87dfe..78b3ac51 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1545,6 +1545,7 @@ and fmt_pat (ff:Format.formatter) (pat:pat) : unit = fmt_lval ff ctor; fmt_bracketed_arr_sep "(" ")" "," fmt_pat ff pats | PAT_slot (_, ident) -> + fmt ff "?"; fmt_ident ff ident | PAT_wild -> fmt ff "_" |